Skip to content

Actions: uwplse/verdi

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #147 from gares/fix-ssr-have-opacity Docker CI #22: Commit b7f7784 pushed by palmskog
May 17, 2024 11:40 3m 7s master
master
May 17, 2024 11:40 3m 7s
simplify proofs Docker CI #21: Pull request #147 opened by gares
May 17, 2024 11:19 3m 5s gares:fix-ssr-have-opacity
gares:fix-ssr-have-opacity
May 17, 2024 11:19 3m 5s
Merge pull request #146 from uwplse/update-boilerplate-pubs Docker CI #20: Commit 8f7fe47 pushed by palmskog
December 8, 2023 13:45 2m 56s master
master
December 8, 2023 13:45 2m 56s
update publication URLs Docker CI #19: Pull request #146 opened by palmskog
December 8, 2023 13:41 2m 59s update-boilerplate-pubs
update-boilerplate-pubs
December 8, 2023 13:41 2m 59s
Merge pull request #144 from uwplse/conclude_using Docker CI #18: Commit f082f86 pushed by palmskog
November 5, 2023 07:51 4m 30s master
master
November 5, 2023 07:51 4m 30s
simplified conclude_using Docker CI #17: Pull request #144 opened by palmskog
November 5, 2023 07:46 4m 24s conclude_using
conclude_using
November 5, 2023 07:46 4m 24s
Merge pull request #143 from uwplse/theories-dir Docker CI #16: Commit 44aacdc pushed by palmskog
October 21, 2023 15:47 3m 33s master
master
October 21, 2023 15:47 3m 33s
reorganize files under standard theories directory Docker CI #15: Pull request #143 opened by palmskog
October 21, 2023 15:43 4m 0s theories-dir
theories-dir
October 21, 2023 15:43 4m 0s
Merge pull request #142 from uwplse/from-require Docker CI #14: Commit bfb44e8 pushed by palmskog
October 20, 2023 18:50 4m 12s master
master
October 20, 2023 18:50 4m 12s
consistently use From-Require Docker CI #13: Pull request #142 opened by palmskog
October 20, 2023 18:46 4m 39s from-require
from-require
October 20, 2023 18:46 4m 39s
Merge pull request #141 from uwplse/purge-npeano Docker CI #12: Commit f31f907 pushed by palmskog
October 15, 2023 17:03 3m 29s master
master
October 15, 2023 17:03 3m 29s
purge NPeano in favor of PeanoNat Docker CI #11: Pull request #141 opened by palmskog
October 15, 2023 16:59 4m 32s purge-npeano
purge-npeano
October 15, 2023 16:59 4m 32s
Merge pull request #140 from uwplse/fix-deprec Docker CI #10: Commit f297c02 pushed by palmskog
October 15, 2023 14:12 4m 15s master
master
October 15, 2023 14:12 4m 15s
Fix deprecations Docker CI #9: Pull request #140 opened by palmskog
October 15, 2023 14:07 3m 40s fix-deprec
fix-deprec
October 15, 2023 14:07 3m 40s