Skip to content

Actions: dominique-unruh/qrhl-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed "prototype" sentence from manual. test-qrhl-tool #274: Commit 523d0ee pushed by dominique-unruh
September 22, 2023 18:05 16m 7s master
master
September 22, 2023 18:05 16m 7s
pages build and deployment pages-build-deployment #20: by dominique-unruh
September 22, 2023 16:39 55s gh-pages
gh-pages
September 22, 2023 16:39 55s
Edited release instructions. test-qrhl-tool #273: Commit cc75154 pushed by dominique-unruh
September 22, 2023 16:35 23m 16s master
master
September 22, 2023 16:35 23m 16s
Merge branch 'master' into release-candidate test-qrhl-tool #272: Commit 581aa6a pushed by dominique-unruh
September 22, 2023 16:29 24m 29s v0.7.2
v0.7.2
September 22, 2023 16:29 24m 29s
Merge branch 'master' into release-candidate test-qrhl-tool #271: Commit 581aa6a pushed by dominique-unruh
September 22, 2023 15:30 28m 25s release-candidate
release-candidate
September 22, 2023 15:30 28m 25s
Updated manual. test-qrhl-tool #270: Commit ab6c4e9 pushed by dominique-unruh
September 22, 2023 15:29 24m 35s master
master
September 22, 2023 15:29 24m 35s
Updated doc/Makefile -- pulls declmath repo test-qrhl-tool #269: Commit ca6250e pushed by dominique-unruh
September 21, 2023 21:15 30m 2s master
master
September 21, 2023 21:15 30m 2s
Updated doc/Makefile -- pulls declmath repo test-qrhl-tool #268: Commit 5148202 pushed by dominique-unruh
September 21, 2023 21:10 31m 3s release-candidate
release-candidate
September 21, 2023 21:10 31m 3s
Set version to 0.7.2 test-qrhl-tool #267: Commit 9b7f802 pushed by dominique-unruh
September 21, 2023 21:03 35m 14s release-candidate
release-candidate
September 21, 2023 21:03 35m 14s
Updated AFP hashes test-qrhl-tool #266: Commit 5e74491 pushed by dominique-unruh
September 21, 2023 16:46 15m 9s release-candidate
release-candidate
September 21, 2023 16:46 15m 9s
Updated AFP hashes test-qrhl-tool #265: Commit 5e74491 pushed by dominique-unruh
September 21, 2023 16:25 15m 10s master
master
September 21, 2023 16:25 15m 10s
Updated proofgeneral and scala-isabelle. test-qrhl-tool #264: Commit 346113e pushed by dominique-unruh
September 21, 2023 15:44 15m 45s master
master
September 21, 2023 15:44 15m 45s