Skip to content

Actions: rocq-community/buchberger

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 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
rocq version (#21) Docker CI #44: Commit 2980c43 pushed by thery
2m 51s master
master
2m 51s
rocq version Docker CI #43: Pull request #21 synchronize by thery
2m 55s thery:rocq
thery:rocq
2m 55s
rocq version Nix CI #30: Pull request #21 synchronize by thery
51s
51s
rocq version Docker CI #42: Pull request #21 synchronize by thery
2m 59s thery:rocq
thery:rocq
2m 59s
rocq version Nix CI #29: Pull request #21 synchronize by thery
50s
50s
rocq version Nix CI #28: Pull request #21 synchronize by thery
47s thery:rocq
thery:rocq
47s
rocq version Docker CI #41: Pull request #21 synchronize by thery
2m 55s thery:rocq
thery:rocq
2m 55s
rocq version Nix CI #27: Pull request #21 synchronize by thery
38s
38s
rocq version Docker CI #40: Pull request #21 synchronize by thery
2m 53s thery:rocq
thery:rocq
2m 53s
rocq version Nix CI #26: Pull request #21 synchronize by thery
51s
51s
rocq version Docker CI #39: Pull request #21 opened by thery
2m 20s thery:rocq
thery:rocq
2m 20s
rocq version Nix CI #25: Pull request #21 opened by thery
1m 13s
1m 13s