Skip to content

Actions: hivert/FormalPowerSeries

Actions

Nix CI for bundle coq8.19-mc2.2.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq8.19-mc2.2.0.yml
19 workflow runs
19 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Formal power series on a field Nix CI for bundle coq8.19-mc2.2.0 #19: Commit 164d355 pushed by hivert
February 15, 2024 14:02 4m 48s master
master
February 15, 2024 14:02 4m 48s
HB hierarchy simplification (following the advice of @CyrilCohen on z… Nix CI for bundle coq8.19-mc2.2.0 #18: Commit 09279ad pushed by hivert
February 13, 2024 23:52 4m 38s master
master
February 13, 2024 23:52 4m 38s
Using the semiring structure on natbar Nix CI for bundle coq8.19-mc2.2.0 #17: Commit 3558556 pushed by hivert
February 13, 2024 14:51 5m 5s master
master
February 13, 2024 14:51 5m 5s
Minor improvements in padics Nix CI for bundle coq8.19-mc2.2.0 #16: Commit 20c4607 pushed by hivert
February 12, 2024 08:02 7m 44s master
master
February 12, 2024 08:02 7m 44s
Completing the hierarchy for direct limits. Nix CI for bundle coq8.19-mc2.2.0 #15: Commit 8e854f1 pushed by hivert
February 11, 2024 15:27 6m 33s master
master
February 11, 2024 15:27 6m 33s
Cleanup in natbar Nix CI for bundle coq8.19-mc2.2.0 #14: Commit f12e035 pushed by hivert
February 11, 2024 00:17 7m 0s master
master
February 11, 2024 00:17 7m 0s
Fixed the hierarchy wrt false join Nix CI for bundle coq8.19-mc2.2.0 #13: Commit 8282bcc pushed by hivert
February 10, 2024 00:47 6m 26s master
master
February 10, 2024 00:47 6m 26s
Lemma -> Fact Nix CI for bundle coq8.19-mc2.2.0 #12: Commit ad93ee2 pushed by hivert
February 5, 2024 09:03 6m 43s master
master
February 5, 2024 09:03 6m 43s
Got rid of unused lemmas + proof simplications Nix CI for bundle coq8.19-mc2.2.0 #11: Commit c14f7c8 pushed by hivert
February 3, 2024 22:50 6m 10s master
master
February 3, 2024 22:50 6m 10s
Update README.md Nix CI for bundle coq8.19-mc2.2.0 #10: Commit 80f4fee pushed by hivert
February 1, 2024 20:44 5m 54s master
master
February 1, 2024 20:44 5m 54s
Merge branch 'master' of github.com:hivert/FormalPowerSeries Nix CI for bundle coq8.19-mc2.2.0 #9: Commit 5d38184 pushed by hivert
February 1, 2024 17:53 7m 29s master
master
February 1, 2024 17:53 7m 29s
Update README.md Nix CI for bundle coq8.19-mc2.2.0 #8: Commit ac147d9 pushed by hivert
February 1, 2024 17:50 6m 6s master
master
February 1, 2024 17:50 6m 6s
Merge Nix CI for bundle coq8.19-mc2.2.0 #7: Commit b04bd99 pushed by hivert
February 1, 2024 17:46 6m 0s master
master
February 1, 2024 17:46 6m 0s
CI with Nix Nix CI for bundle coq8.19-mc2.2.0 #6: Commit 23412c5 pushed by hivert
February 1, 2024 17:44 5m 58s master
master
February 1, 2024 17:44 5m 58s
Update to Mathcomp 2 Nix CI for bundle coq8.19-mc2.2.0 #5: Pull request #1 synchronize by hivert
February 1, 2024 17:23 6m 18s mathcomp-2
mathcomp-2
February 1, 2024 17:23 6m 18s
CI with Nix Nix CI for bundle coq8.19-mc2.2.0 #4: Pull request #3 synchronize by hivert
February 1, 2024 16:59 6m 13s nix
nix
February 1, 2024 16:59 6m 13s
CI with Nix Nix CI for bundle coq8.19-mc2.2.0 #3: Pull request #3 synchronize by hivert
February 1, 2024 15:36 3m 27s nix
nix
February 1, 2024 15:36 3m 27s
CI with Nix Nix CI for bundle coq8.19-mc2.2.0 #2: Pull request #3 synchronize by hivert
February 1, 2024 15:33 2m 24s nix
nix
February 1, 2024 15:33 2m 24s
CI with Nix Nix CI for bundle coq8.19-mc2.2.0 #1: Pull request #3 synchronize by hivert
February 1, 2024 15:22 2m 28s nix
nix
February 1, 2024 15:22 2m 28s