Skip to content

Actions: uwplse/verdi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 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