Skip to content

Actions: math-comp/Abel

Actions

Nix CI for bundle coq8.18+mcmathcomp-2.1.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq8.18+mcmathcomp-2.1.0.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapt to MC#1256 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #35: Pull request #95 opened by Tragicus
August 19, 2024 11:39 7m 40s
August 19, 2024 11:39 7m 40s
define order on algR via copy Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #34: Pull request #94 synchronize by Tragicus
August 13, 2024 08:53 23m 13s
August 13, 2024 08:53 23m 13s
define order on algR via copy Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #33: Pull request #94 opened by Tragicus
August 6, 2024 11:51 17m 51s
August 6, 2024 11:51 17m 51s
Merge pull request #93 from pi8027/archimedean Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #32: Commit 3f196c2 pushed by CohenCyril
July 16, 2024 18:48 5m 29s master
master
July 16, 2024 18:48 5m 29s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #31: Pull request #93 synchronize by pi8027
July 15, 2024 21:46 7m 38s
July 15, 2024 21:46 7m 38s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #30: Pull request #93 synchronize by pi8027
July 10, 2024 14:41 9m 29s
July 10, 2024 14:41 9m 29s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #29: Pull request #93 synchronize by pi8027
July 10, 2024 12:08 5m 50s
July 10, 2024 12:08 5m 50s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #28: Pull request #93 synchronize by pi8027
July 10, 2024 09:33 5m 55s
July 10, 2024 09:33 5m 55s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #27: Pull request #93 synchronize by pi8027
July 8, 2024 09:58 11m 34s
July 8, 2024 09:58 11m 34s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #26: Pull request #93 synchronize by pi8027
July 8, 2024 09:49 5m 37s
July 8, 2024 09:49 5m 37s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #25: Pull request #93 synchronize by pi8027
July 8, 2024 09:24 5m 11s
July 8, 2024 09:24 5m 11s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #24: Pull request #93 opened by pi8027
July 5, 2024 15:44 5m 44s
July 5, 2024 15:44 5m 44s
Merge pull request #92 from proux01/mc_1223 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #23: Commit 31e0216 pushed by CohenCyril
July 3, 2024 08:56 2m 53s master
master
July 3, 2024 08:56 2m 53s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #22: Pull request #92 synchronize by proux01
June 28, 2024 14:17 5m 35s
June 28, 2024 14:17 5m 35s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #21: Pull request #92 synchronize by proux01
June 28, 2024 13:40 5m 41s
June 28, 2024 13:40 5m 41s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #20: Pull request #92 synchronize by proux01
June 28, 2024 12:50 15m 44s
June 28, 2024 12:50 15m 44s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #19: Pull request #92 synchronize by proux01
June 28, 2024 12:47 18m 46s
June 28, 2024 12:47 18m 46s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #18: Pull request #92 opened by proux01
June 28, 2024 12:06 8m 10s
June 28, 2024 12:06 8m 10s
Merge pull request #91 from proux01/mc_1201 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #17: Commit 40ce680 pushed by CohenCyril
April 8, 2024 11:22 2m 47s master
master
April 8, 2024 11:22 2m 47s
Adapt to https://github.com/math-comp/math-comp/pull/1201 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #16: Pull request #91 opened by proux01
April 8, 2024 08:51 16m 27s
April 8, 2024 08:51 16m 27s
Remove backported algR Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #15: Pull request #90 opened by Tragicus
March 29, 2024 15:46 30m 43s
March 29, 2024 15:46 30m 43s
remove backported lemmas to solvable Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #14: Pull request #89 synchronize by Tragicus
March 29, 2024 15:04 40m 16s
March 29, 2024 15:04 40m 16s
remove backported lemmas to ssralg and poly Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #13: Pull request #86 synchronize by Tragicus
March 29, 2024 15:03 42m 23s
March 29, 2024 15:03 42m 23s
remove backported lemmas to ssreflect Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #12: Pull request #85 synchronize by Tragicus
March 29, 2024 15:03 41m 2s
March 29, 2024 15:03 41m 2s
remove backported lemmas to fingroup Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #11: Pull request #88 synchronize by Tragicus
March 29, 2024 15:03 41m 6s
March 29, 2024 15:03 41m 6s