Skip to content

Actions: math-comp/Abel

Actions

Nix CI for bundle coqmaster+mcmaster

Actions

Loading...

Show workflow options

Create status badge

nix-action-coqmaster+mcmaster.yml
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapt to MC#1256 Nix CI for bundle coqmaster+mcmaster #111: Pull request #95 opened by Tragicus
August 19, 2024 11:39 8m 14s
August 19, 2024 11:39 8m 14s
define order on algR via copy Nix CI for bundle coqmaster+mcmaster #110: Pull request #94 synchronize by Tragicus
August 13, 2024 08:53 8m 44s
August 13, 2024 08:53 8m 44s
define order on algR via copy Nix CI for bundle coqmaster+mcmaster #109: Pull request #94 opened by Tragicus
August 6, 2024 11:51 5m 0s
August 6, 2024 11:51 5m 0s
Merge pull request #93 from pi8027/archimedean Nix CI for bundle coqmaster+mcmaster #108: Commit 3f196c2 pushed by CohenCyril
July 16, 2024 18:48 7m 20s master
master
July 16, 2024 18:48 7m 20s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #107: Pull request #93 synchronize by pi8027
July 15, 2024 21:46 8m 21s
July 15, 2024 21:46 8m 21s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #106: Pull request #93 synchronize by pi8027
July 10, 2024 14:41 22m 27s
July 10, 2024 14:41 22m 27s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #105: Pull request #93 synchronize by pi8027
July 10, 2024 12:08 3m 43s
July 10, 2024 12:08 3m 43s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #104: Pull request #93 synchronize by pi8027
July 10, 2024 09:33 2m 3s
July 10, 2024 09:33 2m 3s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #103: Pull request #93 synchronize by pi8027
July 8, 2024 09:58 5m 38s
July 8, 2024 09:58 5m 38s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #102: Pull request #93 synchronize by pi8027
July 8, 2024 09:49 5m 59s
July 8, 2024 09:49 5m 59s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #101: Pull request #93 synchronize by pi8027
July 8, 2024 09:24 5m 7s
July 8, 2024 09:24 5m 7s
Adapt to math-comp/math-comp#1237 Nix CI for bundle coqmaster+mcmaster #100: Pull request #93 opened by pi8027
July 5, 2024 15:44 5m 0s
July 5, 2024 15:44 5m 0s
Merge pull request #92 from proux01/mc_1223 Nix CI for bundle coqmaster+mcmaster #99: Commit 31e0216 pushed by CohenCyril
July 3, 2024 08:56 17m 38s master
master
July 3, 2024 08:56 17m 38s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coqmaster+mcmaster #98: Pull request #92 synchronize by proux01
June 28, 2024 14:17 23m 32s
June 28, 2024 14:17 23m 32s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coqmaster+mcmaster #97: Pull request #92 synchronize by proux01
June 28, 2024 13:40 2m 12s
June 28, 2024 13:40 2m 12s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coqmaster+mcmaster #96: Pull request #92 synchronize by proux01
June 28, 2024 12:50 1m 58s
June 28, 2024 12:50 1m 58s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coqmaster+mcmaster #95: Pull request #92 synchronize by proux01
June 28, 2024 12:47 2m 20s
June 28, 2024 12:47 2m 20s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle coqmaster+mcmaster #94: Pull request #92 opened by proux01
June 28, 2024 12:06 5m 41s
June 28, 2024 12:06 5m 41s
Merge pull request #91 from proux01/mc_1201 Nix CI for bundle coqmaster+mcmaster #93: Commit 40ce680 pushed by CohenCyril
April 8, 2024 11:22 1m 50s master
master
April 8, 2024 11:22 1m 50s
Adapt to https://github.com/math-comp/math-comp/pull/1201 Nix CI for bundle coqmaster+mcmaster #92: Pull request #91 opened by proux01
April 8, 2024 08:51 11m 56s
April 8, 2024 08:51 11m 56s
Remove backported algR Nix CI for bundle coqmaster+mcmaster #91: Pull request #90 opened by Tragicus
March 29, 2024 15:46 18m 28s
March 29, 2024 15:46 18m 28s
remove backported lemmas to solvable Nix CI for bundle coqmaster+mcmaster #90: Pull request #89 synchronize by Tragicus
March 29, 2024 15:04 37m 57s
March 29, 2024 15:04 37m 57s
remove backported lemmas to ssralg and poly Nix CI for bundle coqmaster+mcmaster #89: Pull request #86 synchronize by Tragicus
March 29, 2024 15:03 38m 5s
March 29, 2024 15:03 38m 5s
remove backported lemmas to ssreflect Nix CI for bundle coqmaster+mcmaster #88: Pull request #85 synchronize by Tragicus
March 29, 2024 15:03 37m 30s
March 29, 2024 15:03 37m 30s
remove backported lemmas to fingroup Nix CI for bundle coqmaster+mcmaster #87: Pull request #88 synchronize by Tragicus
March 29, 2024 15:03 36m 54s
March 29, 2024 15:03 36m 54s