Skip to content

Actions: dominique-unruh/qrhl-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #27: by dominique-unruh
38s gh-pages
gh-pages
38s
Added one-way permutation example. test-qrhl-tool #310: Commit 328ad96 pushed by dominique-unruh
1d 0h 0m 2s master
master
1d 0h 0m 2s
build.sbt: check syntactic correctness of version string test-qrhl-tool #309: Commit 2a319b4 pushed by dominique-unruh
1d 0h 0m 1s master
master
1d 0h 0m 1s
pages build and deployment pages-build-deployment #26: by dominique-unruh
2m 29s gh-pages
gh-pages
2m 29s
pages build and deployment pages-build-deployment #25: by dominique-unruh
41s gh-pages
gh-pages
41s
Fixed version string test-qrhl-tool #308: Commit 8610ebd pushed by dominique-unruh
9m 34s v0.7.5
v0.7.5
9m 34s
Fixed version string test-qrhl-tool #307: Commit 8610ebd pushed by dominique-unruh
33m 44s release-candidate
release-candidate
33m 44s
Bumped version test-qrhl-tool #306: Commit 35ace39 pushed by dominique-unruh
29m 7s vv0.7.5
vv0.7.5
29m 7s
Bumped version test-qrhl-tool #305: Commit 35ace39 pushed by dominique-unruh
34m 5s release-candidate
release-candidate
34m 5s
Fixed AFP detection to match current AFP. test-qrhl-tool #304: Commit 81f7c76 pushed by dominique-unruh
18m 53s release-candidate
release-candidate
18m 53s
Fixed AFP detection to match current AFP. test-qrhl-tool #303: Commit 81f7c76 pushed by dominique-unruh
31m 3s master
master
31m 3s
Minor update build instructions. test-qrhl-tool #302: Commit 61fa604 pushed by dominique-unruh
1h 19m 4s master
master
1h 19m 4s
Small change to release instructions test-qrhl-tool #301: Commit 7b79f04 pushed by dominique-unruh
7m 27s master
master
7m 27s
pages build and deployment pages-build-deployment #24: by dominique-unruh
38s gh-pages
gh-pages
38s
Merge branch 'master' into release-candidate test-qrhl-tool #300: Commit ae8cbfb pushed by dominique-unruh
25s v0.7.4
v0.7.4
25s
Merge branch 'master' into release-candidate test-qrhl-tool #299: Commit ae8cbfb pushed by dominique-unruh
9m 14s release-candidate
release-candidate
9m 14s
Fixing test.yml (Github Action) test-qrhl-tool #298: Commit 9aa2a3d pushed by dominique-unruh
9m 30s master
master
9m 30s
Added LaTeX dependencies to Dockerfile. test-qrhl-tool #297: Commit aa188b5 pushed by dominique-unruh
6m 33s release-candidate
release-candidate
6m 33s
Fixed CI: test.yml, Dockerfile. test-qrhl-tool #296: Commit d7c98d7 pushed by dominique-unruh
16m 34s release-candidate
release-candidate
16m 34s
Fixed test.yml test-qrhl-tool #295: Commit 456f2a1 pushed by dominique-unruh
5m 40s release-candidate
release-candidate
5m 40s
Made ci/test.py executable. test-qrhl-tool #294: Commit 96ad2c1 pushed by dominique-unruh
14s release-candidate
release-candidate
14s
Made ci/test.py executable. test-qrhl-tool #293: Commit 915f0c8 pushed by dominique-unruh
29s release-candidate
release-candidate
29s
Bumped version test-qrhl-tool #292: Commit 8eba852 pushed by dominique-unruh
1m 41s release-candidate
release-candidate
1m 41s
Updated scala-isabelle test-qrhl-tool #291: Commit 9040367 pushed by dominique-unruh
38m 34s master
master
38m 34s
Fixed excludes in ci/test.py. test-qrhl-tool #290: Commit f53600d pushed by dominique-unruh
10s master
master
10s