Skip to content

Actions: math-comp/Abel

Actions

Nix CI for bundle coq8.16+mcmathcomp-2.1.0

Actions

Loading...

Show workflow options

Create status badge

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