Sitelet https://github.com/math-comp/math-comp/actions
Skip to content

Actions: math-comp/math-comp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
[CI] Add Coq-Combi Nix CI for bundle rocq-9.2 #622: Pull request #1616 synchronize by proux01
11m 4s proux01:ci-coq-combi
proux01:ci-coq-combi
11m 4s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.1 #1180: Pull request #1616 synchronize by proux01
59m 9s proux01:ci-coq-combi
proux01:ci-coq-combi
59m 9s
[CI] Add Coq-Combi Nix CI for bundle rocq-master #1158: Pull request #1616 synchronize by proux01
45m 2s
45m 2s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.1 #1179: Pull request #1616 synchronize by proux01
35m 23s
35m 23s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.2 #621: Pull request #1616 synchronize by proux01
36m 4s
36m 4s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.3 #97: Pull request #1616 synchronize by proux01
43m 31s
43m 31s
Adapt to https://github.com/proux01/rocq/pull/new/fix22547 Nix CI for bundle rocq-9.1 #1178: Pull request #1648 synchronize by proux01
53m 24s
53m 24s
Adapt to https://github.com/proux01/rocq/pull/new/fix22547 Nix CI for bundle rocq-master #1157: Pull request #1648 synchronize by proux01
44m 8s
44m 8s
Adapt to https://github.com/proux01/rocq/pull/new/fix22547 Nix CI for bundle rocq-9.2 #620: Pull request #1648 synchronize by proux01
53m 57s
53m 57s
Adapt to https://github.com/proux01/rocq/pull/new/fix22547 Nix CI for bundle rocq-9.3 #96: Pull request #1648 synchronize by proux01
40m 39s
40m 39s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.2 #619: Pull request #1616 synchronize by proux01
1h 22m 24s proux01:ci-coq-combi
proux01:ci-coq-combi
1h 22m 24s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.1 #1177: Pull request #1616 synchronize by proux01
1h 41m 53s proux01:ci-coq-combi
proux01:ci-coq-combi
1h 41m 53s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.3 #95: Pull request #1616 synchronize by proux01
1h 40m 23s
1h 40m 23s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.2 #618: Pull request #1616 synchronize by proux01
1h 33m 39s
1h 33m 39s
[CI] Add Coq-Combi Nix CI for bundle rocq-master #1156: Pull request #1616 synchronize by proux01
1h 32m 59s
1h 32m 59s
[CI] Add Coq-Combi Nix CI for bundle rocq-9.1 #1176: Pull request #1616 synchronize by proux01
1h 24m 38s
1h 24m 38s
[CI] Add fpseries Nix CI for bundle rocq-9.2 #617: Pull request #1623 synchronize by proux01
3h 7m 43s proux01:ci-fpseries
proux01:ci-fpseries
3h 7m 43s
[CI] Add fpseries Nix CI for bundle rocq-9.1 #1175: Pull request #1623 synchronize by proux01
3h 0m 59s proux01:ci-fpseries
proux01:ci-fpseries
3h 0m 59s
[CI] Add fpseries Nix CI for bundle rocq-9.2 #616: Pull request #1623 synchronize by proux01
6s
6s
[CI] Add fpseries Nix CI for bundle rocq-9.3 #94: Pull request #1623 synchronize by proux01
1h 34m 53s
1h 34m 53s
[CI] Add fpseries Nix CI for bundle rocq-9.1 #1174: Pull request #1623 synchronize by proux01
6s
6s
[CI] Add fpseries Nix CI for bundle rocq-master #1155: Pull request #1623 synchronize by proux01
1h 29m 49s
1h 29m 49s
Adapt to https://github.com/proux01/rocq/pull/new/fix22547 Nix CI for bundle rocq-9.2 #615: Pull request #1648 opened by proux01
1h 11m 5s
1h 11m 5s
Adapt to https://github.com/proux01/rocq/pull/new/fix22547 Nix CI for bundle rocq-9.1 #1173: Pull request #1648 opened by proux01
1h 0m 17s
1h 0m 17s
Adapt to https://github.com/proux01/rocq/pull/new/fix22547 Nix CI for bundle rocq-master #1154: Pull request #1648 opened by proux01
1h 8m 15s
1h 8m 15s