Skip to content

Actions: thery/minirubik

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix runner Docker CI #5: Commit dd2ef59 pushed by thery
7m 25s master
master
7m 25s
Rocq Docker CI #4: Commit 09c5972 pushed by thery
12s master
master
12s
fix README Docker CI #3: Commit 8372a11 pushed by thery
6m 32s master
master
6m 32s