Skip to content

Actions: thomaskwaring/lattice-path

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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
- Create Release #1: Commit 1cc49d8 pushed by thomaskwaring
10s master
master
10s
- Lean Action CI #5: Commit 1cc49d8 pushed by thomaskwaring
15m 52s master
master
15m 52s
spanning forest Lean Action CI #4: Commit 1f053b1 pushed by thomaskwaring
13m 26s master
master
13m 26s
remove inhabited assumptions Lean Action CI #3: Commit 96e703d pushed by thomaskwaring
13m 56s master
master
13m 56s
maximal acyclic subgraph Lean Action CI #2: Commit 3305399 pushed by thomaskwaring
14m 33s master
master
14m 33s
spanning tree Lean Action CI #1: Commit ef80520 pushed by thomaskwaring
12m 50s master
master
12m 50s