Skip to content

Actions: dominique-unruh/qrhl-tool

Actions

test-qrhl-tool

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
14 workflow runs
14 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
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
Updated to Isabelle2023 test-qrhl-tool #263: Commit 79b2b93 pushed by dominique-unruh
September 13, 2023 12:00 2h 16m 10s master
master
September 13, 2023 12:00 2h 16m 10s
Updated to Isabelle2023-RC3 test-qrhl-tool #262: Commit 52b6926 pushed by dominique-unruh
September 13, 2023 12:00 1m 14s master
master
September 13, 2023 12:00 1m 14s
Updated to Isabelle2023-RC3 test-qrhl-tool #261: Commit 42b630a pushed by dominique-unruh
September 5, 2023 11:44 2h 23m 34s master
master
September 5, 2023 11:44 2h 23m 34s