Skip to content

Actions: for-all-dev/formal-confinement

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed symlinks
CI Checks #90: Commit 3ba219a pushed by quinn-dougherty
1m 54s master
hoare_pos tactic
CI Checks #85: Commit 05e071f pushed by quinn-dougherty
6m 43s master
Remove lean-smt
CI Checks #75: Commit de0d7e1 pushed by quinn-dougherty
15m 39s master
Pantograph
CI Checks #72: Pull request #16 synchronize by quinn-dougherty
43m 16s pantograph
Pantograph
CI Checks #70: Pull request #16 synchronize by quinn-dougherty
49m 57s pantograph
Pantograph
CI Checks #68: Pull request #16 synchronize by quinn-dougherty
42m 34s pantograph