Skip to content

Actions: uwplse/verdi

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
16 workflow runs
16 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

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
Merge pull request #139 from ppedrot/case-pf-pose-dependent-metas Docker CI #8: Commit 76833a7 pushed by palmskog
May 3, 2023 14:49 6m 17s master
master
May 3, 2023 14:49 6m 17s
Adapt w.r.t. coq/coq#17564. Docker CI #7: Pull request #139 opened by ppedrot
May 3, 2023 14:41 6m 24s ppedrot:case-pf-pose-dependent-metas
ppedrot:case-pf-pose-dependent-metas
May 3, 2023 14:41 6m 24s