Skip to content

Actions: rocq-community/reglang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 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 #79 from rocq-community/mc1545 Nix CI for bundle 8.16 #57: Commit dd75216 pushed by proux01
12m 29s master
master
12m 29s
Merge pull request #79 from rocq-community/mc1545 Nix CI for bundle 8.17 #52: Commit dd75216 pushed by proux01
13m 33s master
master
13m 33s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 8.16 #56: Pull request #79 opened by proux01
26m 55s
26m 55s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 8.17 #51: Pull request #79 opened by proux01
20m 55s
20m 55s
Docker CI Docker CI #640: Scheduled
27m 12s master
master
27m 12s
Docker CI Docker CI #639: Scheduled
32m 18s master
master
32m 18s
Docker CI Docker CI #638: Scheduled
32m 16s master
master
32m 16s