Skip to content

Actions: math-comp/Abel

Actions

Nix CI for bundle coq8.17+mcmathcomp-2.1.0

Actions

Loading...

Show workflow options

Create status badge

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