Skip to content

Actions: hivert/FormalPowerSeries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 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
Formal power series on a field Nix CI for bundle coq8.18-mc2.2.0 #19: Commit 164d355 pushed by hivert
February 15, 2024 14:02 4m 37s master
master
February 15, 2024 14:02 4m 37s
Formal power series on a field Nix CI for bundle coq8.17-mc2.2.0 #19: Commit 164d355 pushed by hivert
February 15, 2024 14:02 23m 18s master
master
February 15, 2024 14:02 23m 18s
HB hierarchy simplification (following the advice of @CyrilCohen on z… Nix CI for bundle coq8.18-mc2.2.0 #18: Commit 09279ad pushed by hivert
February 13, 2024 23:52 4m 56s master
master
February 13, 2024 23:52 4m 56s
HB hierarchy simplification (following the advice of @CyrilCohen on z… Nix CI for bundle coq8.17-mc2.2.0 #18: Commit 09279ad pushed by hivert
February 13, 2024 23:52 22m 54s master
master
February 13, 2024 23:52 22m 54s
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
Using the semiring structure on natbar Nix CI for bundle coq8.17-mc2.2.0 #17: Commit 3558556 pushed by hivert
February 13, 2024 14:51 24m 16s master
master
February 13, 2024 14:51 24m 16s
Using the semiring structure on natbar Nix CI for bundle coq8.18-mc2.2.0 #17: Commit 3558556 pushed by hivert
February 13, 2024 14:51 5m 9s master
master
February 13, 2024 14:51 5m 9s
Minor improvements in padics Nix CI for bundle coq8.17-mc2.2.0 #16: Commit 20c4607 pushed by hivert
February 12, 2024 08:02 25m 28s master
master
February 12, 2024 08:02 25m 28s
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
Minor improvements in padics Nix CI for bundle coq8.18-mc2.2.0 #16: Commit 20c4607 pushed by hivert
February 12, 2024 08:02 6m 44s master
master
February 12, 2024 08:02 6m 44s
Completing the hierarchy for direct limits. Nix CI for bundle coq8.18-mc2.2.0 #15: Commit 8e854f1 pushed by hivert
February 11, 2024 15:27 7m 3s master
master
February 11, 2024 15:27 7m 3s
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
Completing the hierarchy for direct limits. Nix CI for bundle coq8.17-mc2.2.0 #15: Commit 8e854f1 pushed by hivert
February 11, 2024 15:27 25m 19s master
master
February 11, 2024 15:27 25m 19s
Cleanup in natbar Nix CI for bundle coq8.17-mc2.2.0 #14: Commit f12e035 pushed by hivert
February 11, 2024 00:17 25m 6s master
master
February 11, 2024 00:17 25m 6s
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
Cleanup in natbar Nix CI for bundle coq8.18-mc2.2.0 #14: Commit f12e035 pushed by hivert
February 11, 2024 00:17 6m 41s master
master
February 11, 2024 00:17 6m 41s
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
Fixed the hierarchy wrt false join Nix CI for bundle coq8.17-mc2.2.0 #13: Commit 8282bcc pushed by hivert
February 10, 2024 00:47 24m 49s master
master
February 10, 2024 00:47 24m 49s
Fixed the hierarchy wrt false join Nix CI for bundle coq8.18-mc2.2.0 #13: Commit 8282bcc pushed by hivert
February 10, 2024 00:47 6m 20s master
master
February 10, 2024 00:47 6m 20s
Lemma -> Fact Nix CI for bundle coq8.18-mc2.2.0 #12: Commit ad93ee2 pushed by hivert
February 5, 2024 09:03 6m 33s master
master
February 5, 2024 09:03 6m 33s
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
Lemma -> Fact Nix CI for bundle coq8.17-mc2.2.0 #12: Commit ad93ee2 pushed by hivert
February 5, 2024 09:03 24m 52s master
master
February 5, 2024 09:03 24m 52s
Got rid of unused lemmas + proof simplications Nix CI for bundle coq8.18-mc2.2.0 #11: Commit c14f7c8 pushed by hivert
February 3, 2024 22:50 5m 58s master
master
February 3, 2024 22:50 5m 58s