Skip to content

Actions: math-comp/real-closed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/rocq-prover/rocq/pull/17876 Nix CI for bundle 8.20 #33: Pull request #77 synchronize by proux01
26m 31s
26m 31s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Nix CI for bundle 8.18 #62: Pull request #77 synchronize by proux01
46s
46s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Docker CI #104: Pull request #77 opened by proux01
9m 25s proux01:coq_17876
proux01:coq_17876
9m 25s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Nix CI for bundle 8.18 #61: Pull request #77 opened by proux01
4m 12s
4m 12s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Nix CI for bundle 9.0 #22: Pull request #77 opened by proux01
14m 25s
14m 25s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Nix CI for bundle 8.19 #62: Pull request #77 opened by proux01
4m 7s
4m 7s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Nix CI for bundle master #88: Pull request #77 opened by proux01
9m 34s
9m 34s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Nix CI for bundle 8.20 #32: Pull request #77 opened by proux01
15m 33s
15m 33s
Correct instances on Rcomplex Docker CI #103: Pull request #76 opened by Tragicus
23m 59s Tragicus:complex
Tragicus:complex
23m 59s
Correct instances on Rcomplex Nix CI for bundle master #87: Pull request #76 opened by Tragicus
7m 34s
7m 34s
Correct instances on Rcomplex Nix CI for bundle 8.18 #60: Pull request #76 opened by Tragicus
5m 35s
5m 35s
Correct instances on Rcomplex Nix CI for bundle 8.20 #31: Pull request #76 opened by Tragicus
15m 13s
15m 13s
Correct instances on Rcomplex Nix CI for bundle 9.0 #21: Pull request #76 opened by Tragicus
15m 19s
15m 19s
Correct instances on Rcomplex Nix CI for bundle 8.19 #61: Pull request #76 opened by Tragicus
5m 35s
5m 35s
Merge pull request #74 from math-comp/semi-poly Nix CI for bundle master #86: Commit 2396265 pushed by CohenCyril
11m 0s master
master
11m 0s
Merge pull request #74 from math-comp/semi-poly Nix CI for bundle 9.0 #20: Commit 2396265 pushed by CohenCyril
4m 51s master
master
4m 51s
Merge pull request #74 from math-comp/semi-poly Nix CI for bundle 8.20 #30: Commit 2396265 pushed by CohenCyril
4m 30s master
master
4m 30s
Merge pull request #74 from math-comp/semi-poly Docker CI #102: Commit 2396265 pushed by CohenCyril
5m 42s master
master
5m 42s
Merge pull request #74 from math-comp/semi-poly Nix CI for bundle 8.19 #60: Commit 2396265 pushed by CohenCyril
3m 7s master
master
3m 7s
Merge pull request #74 from math-comp/semi-poly Nix CI for bundle 8.18 #59: Commit 2396265 pushed by CohenCyril
5m 1s master
master
5m 1s
Adapt to math-comp/math-comp#1395 Nix CI for bundle 8.19 #59: Pull request #74 synchronize by CohenCyril
9m 51s semi-poly
semi-poly
9m 51s
Adapt to math-comp/math-comp#1395 Docker CI #101: Pull request #74 synchronize by CohenCyril
15m 27s semi-poly
semi-poly
15m 27s
Adapt to math-comp/math-comp#1395 Nix CI for bundle 8.20 #29: Pull request #74 synchronize by CohenCyril
22m 9s semi-poly
semi-poly
22m 9s
Adapt to math-comp/math-comp#1395 Nix CI for bundle 9.0 #19: Pull request #74 synchronize by CohenCyril
22m 13s semi-poly
semi-poly
22m 13s
Adapt to math-comp/math-comp#1395 Nix CI for bundle master #85: Pull request #74 synchronize by CohenCyril
38m 0s semi-poly
semi-poly
38m 0s