Skip to content

Actions: math-comp/real-closed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
211 workflow runs
211 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #86 from proux01/rocq Nix CI for bundle 9.0 #63: Commit 84ecbfd pushed by proux01
2m 58s master
master
2m 58s
Merge pull request #86 from proux01/rocq Nix CI for bundle 9.1 #32: Commit 84ecbfd pushed by proux01
3m 36s master
master
3m 36s
Merge pull request #86 from proux01/rocq Nix CI for bundle master #129: Commit 84ecbfd pushed by proux01
5m 37s master
master
5m 37s
Compile with Rocq (witout coq shim) Nix CI for bundle 9.0 #62: Pull request #86 opened by proux01
18m 23s
18m 23s
Compile with Rocq (witout coq shim) Nix CI for bundle 9.1 #31: Pull request #86 opened by proux01
30m 45s
30m 45s
Compile with Rocq (witout coq shim) Nix CI for bundle master #128: Pull request #86 opened by proux01
33m 44s
33m 44s
fix the level of postfix notations (#82) Nix CI for bundle 9.1 #30: Commit 54d82f7 pushed by CohenCyril
15m 50s master
master
15m 50s
fix the level of postfix notations (#82) Nix CI for bundle master #127: Commit 54d82f7 pushed by CohenCyril
35m 0s master
master
35m 0s
fix the level of postfix notations (#82) Nix CI for bundle 9.0 #61: Commit 54d82f7 pushed by CohenCyril
8m 6s master
master
8m 6s
Merge pull request #84 from proux01/reworder Nix CI for bundle master #126: Commit 358b5ff pushed by proux01
25m 19s master
master
25m 19s
Merge pull request #84 from proux01/reworder Nix CI for bundle 9.0 #60: Commit 358b5ff pushed by proux01
8m 12s master
master
8m 12s
Merge pull request #84 from proux01/reworder Nix CI for bundle 9.1 #29: Commit 358b5ff pushed by proux01
21m 58s master
master
21m 58s
Port to new rewrite goals order Nix CI for bundle master #125: Pull request #84 synchronize by proux01
1h 16m 52s
1h 16m 52s
Port to new rewrite goals order Nix CI for bundle 9.1 #28: Pull request #84 synchronize by proux01
27m 11s
27m 11s
Port to new rewrite goals order Nix CI for bundle 9.0 #59: Pull request #84 synchronize by proux01
12m 20s
12m 20s
Merge pull request #85 from proux01/ci-update Nix CI for bundle 9.1 #27: Commit 1d3c71a pushed by proux01
16m 35s master
master
16m 35s
Merge pull request #85 from proux01/ci-update Nix CI for bundle 9.0 #58: Commit 1d3c71a pushed by proux01
6m 56s master
master
6m 56s
Merge pull request #85 from proux01/ci-update Nix CI for bundle master #124: Commit 1d3c71a pushed by proux01
59m 6s master
master
59m 6s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #57: Pull request #85 synchronize by proux01
9m 16s proux01:ci-update
proux01:ci-update
9m 16s
[CI] Update Nix toolbox Nix CI for bundle master #123: Pull request #85 synchronize by proux01
20m 31s proux01:ci-update
proux01:ci-update
20m 31s
[CI] Update Nix toolbox Nix CI for bundle 9.1 #26: Pull request #85 synchronize by proux01
18m 22s proux01:ci-update
proux01:ci-update
18m 22s
[CI] Update Nix toolbox Nix CI for bundle master #122: Pull request #85 synchronize by proux01
19m 56s
19m 56s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #56: Pull request #85 synchronize by proux01
9m 4s
9m 4s
[CI] Update Nix toolbox Nix CI for bundle 9.1 #25: Pull request #85 synchronize by proux01
18m 2s
18m 2s
[CI] Update Nix toolbox Nix CI for bundle 9.1 #24: Pull request #85 synchronize by proux01
6m 29s proux01:ci-update
proux01:ci-update
6m 29s