Skip to content

Actions: uwplse/verdi-raft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #105 from uwplse/update-boilerplate-pubs Docker CI #28: Commit a3375e8 pushed by palmskog
December 8, 2023 14:05 8m 58s master
master
December 8, 2023 14:05 8m 58s
update publication URLs Docker CI #27: Pull request #105 opened by palmskog
December 8, 2023 13:44 8m 58s update-boilerplate-pubs
update-boilerplate-pubs
December 8, 2023 13:44 8m 58s
Dune-based extraction Docker CI #26: Pull request #104 opened by palmskog
November 5, 2023 20:27 16m 44s dune-extraction
dune-extraction
November 5, 2023 20:27 16m 44s
Merge pull request #103 from uwplse/update-conclude Docker CI #25: Commit 16b542d pushed by palmskog
November 5, 2023 09:12 12m 49s master
master
November 5, 2023 09:12 12m 49s
simplify proofs using conclude and conclude_using tactics Docker CI #24: Pull request #103 opened by palmskog
November 5, 2023 07:51 1h 15m 36s update-conclude
update-conclude
November 5, 2023 07:51 1h 15m 36s
Merge pull request #102 from uwplse/fix-intuition-deprec Docker CI #23: Commit b555033 pushed by palmskog
November 4, 2023 15:40 16m 49s master
master
November 4, 2023 15:40 16m 49s
fix deprecations of intuition auto with star Docker CI #22: Pull request #102 synchronize by palmskog
November 4, 2023 15:22 15m 58s fix-intuition-deprec
fix-intuition-deprec
November 4, 2023 15:22 15m 58s
fix deprecations of intuition auto with star Docker CI #21: Pull request #102 opened by palmskog
October 29, 2023 07:52 11m 47s fix-intuition-deprec
fix-intuition-deprec
October 29, 2023 07:52 11m 47s