Skip to content

Actions: uwplse/cheerios

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #22 from uwplse/theories-dune Docker CI #15: Commit 5c9318c pushed by palmskog
October 22, 2023 09:38 3m 29s master
master
October 22, 2023 09:38 3m 29s
reorganize files under standard theories directory Docker CI #14: Pull request #22 opened by palmskog
October 22, 2023 09:33 3m 18s theories-dune
theories-dune
October 22, 2023 09:33 3m 18s
add missing documentation Docker CI #13: Commit 5193b97 pushed by palmskog
October 15, 2023 18:27 3m 37s master
master
October 15, 2023 18:27 3m 37s
Merge pull request #21 from uwplse/fix-deprec Docker CI #12: Commit c0b3478 pushed by palmskog
October 15, 2023 13:30 3m 30s master
master
October 15, 2023 13:30 3m 30s
Fix list deprecations Docker CI #11: Pull request #21 opened by palmskog
October 15, 2023 13:27 2m 50s fix-deprec
fix-deprec
October 15, 2023 13:27 2m 50s