Skip to content

Actions: dominique-unruh/scala-isabelle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small update of release instructions scala-isabelle #240: Commit 6ac3994 pushed by dominique-unruh
12m 6s master
master
12m 6s
Fix: build does not fail if not in a git repo. scala-isabelle #239: Commit 2558683 pushed by dominique-unruh
11m 42s master
master
11m 42s
.gitignore scala-isabelle #238: Commit 5c34ebb pushed by dominique-unruh
44m 25s master
master
44m 25s
Configurable exclusions in test.py scala-isabelle #237: Commit e4d9ec5 pushed by dominique-unruh
6m 48s master
master
6m 48s
Made ci/test.py more customizable (in order to reuse it in qrhl-tool) scala-isabelle #236: Commit 917b54d pushed by dominique-unruh
5m 32s master
master
5m 32s
Removed leftover print-commands. scala-isabelle #235: Commit bbce95e pushed by dominique-unruh
5m 24s master
master
5m 24s
Github action now uses ci/test.py (giving up on automated Windows/Mac… scala-isabelle #234: Commit b470eba pushed by dominique-unruh
11m 28s master
master
11m 28s
Github action now uses ci/test.py (giving up on automated Windows/Mac… scala-isabelle #233: Commit b716bfe pushed by dominique-unruh
12s master
master
12s
Removed COPYRIGHT.Isabelle. scala-isabelle #232: Commit b0912f0 pushed by dominique-unruh
1d 0h 0m 2s master
master
1d 0h 0m 2s
Updated CHANGELOG.md scala-isabelle #231: Commit 85d42fd pushed by dominique-unruh
1m 36s master
master
1m 36s
pages build and deployment pages-build-deployment #8: by dominique-unruh
38s gh-pages
gh-pages
38s
Bumped version scala-isabelle #230: Commit 3eb9d9d pushed by dominique-unruh
9m 1s release-candidate
release-candidate
9m 1s
scala-isabelle scala-isabelle #229: by dominique-unruh
7m 36s v0.4.5
v0.4.5
7m 36s
Compatibility fixes for Isabelle2025-1. scala-isabelle #228: Commit ef4e11f pushed by dominique-unruh
11m 18s release-candidate
release-candidate
11m 18s
pages build and deployment pages-build-deployment #7: by dominique-unruh
35s gh-pages
gh-pages
35s
Updated publishing process to use new Sonatype publishing process scala-isabelle #227: Commit f9b87b8 pushed by dominique-unruh
29m 45s master
master
29m 45s
Updated publishing process to use new Sonatype publishing process scala-isabelle #226: Commit 9c3f822 pushed by dominique-unruh
41m 54s v0.4.4
v0.4.4
41m 54s
Updated publishing process to use new Sonatype publishing process scala-isabelle #225: Commit 9c3f822 pushed by dominique-unruh
34m 9s release-candidate
release-candidate
34m 9s
Bumped version scala-isabelle #224: Commit 0bd9b69 pushed by dominique-unruh
2h 45m 0s release-candidate
release-candidate
2h 45m 0s
Made library Isabelle2025-2 compatible. scala-isabelle #223: Commit e2ec29c pushed by dominique-unruh
45m 42s master
master
45m 42s
pages build and deployment pages-build-deployment #6: by dominique-unruh
38s gh-pages
gh-pages
38s
Updated CHANGELOG.md. scala-isabelle #222: Commit b334f92 pushed by dominique-unruh
17h 51m 1s master
master
17h 51m 1s
Bumped version scala-isabelle #221: Commit 2b9a3ce pushed by dominique-unruh
2h 21m 29s v0.4.3
v0.4.3
2h 21m 29s
Bumped version scala-isabelle #220: Commit 2b9a3ce pushed by dominique-unruh
1h 43m 2s release-candidate
release-candidate
1h 43m 2s
Updated CHANGELOG. scala-isabelle #219: Commit c450630 pushed by dominique-unruh
2h 52m 0s master
master
2h 52m 0s