Skip to content

Actions: uwplse/verdi

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
6 workflow runs
6 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