Skip to content

Actions: dominique-unruh/scala-isabelle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Updated CHANGELOG. scala-isabelle #206: Commit 1873f40 pushed by dominique-unruh
July 10, 2024 14:17 2h 32m 50s master
master
July 10, 2024 14:17 2h 32m 50s
Version to 0.4.3-RC1. scala-isabelle #205: Commit e492ba6 pushed by dominique-unruh
July 10, 2024 14:15 1h 15m 21s v0.4.3-RC1
v0.4.3-RC1
July 10, 2024 14:15 1h 15m 21s
Added comment. scala-isabelle #204: Commit 47ff1eb pushed by dominique-unruh
July 10, 2024 09:20 1h 17m 51s master
master
July 10, 2024 09:20 1h 17m 51s
Version to 0.4.3-RC1. scala-isabelle #203: Commit e492ba6 pushed by dominique-unruh
July 9, 2024 12:01 2h 39m 27s release-candidate
release-candidate
July 9, 2024 12:01 2h 39m 27s
Merge branch 'master' into release-candidate scala-isabelle #202: Commit 7aa5cd8 pushed by dominique-unruh
July 9, 2024 11:58 1h 22m 40s release-candidate
release-candidate
July 9, 2024 11:58 1h 22m 40s
scalatest to 3.2.19 scala-isabelle #201: Commit 18a36de pushed by dominique-unruh
July 8, 2024 23:03 10h 36m 28s master
master
July 8, 2024 23:03 10h 36m 28s
org.jetbrains.annotations to 24.1.0 scala-isabelle #200: Commit f8c9bf8 pushed by dominique-unruh
July 8, 2024 23:00 35m 39s master
master
July 8, 2024 23:00 35m 39s
scalaz-core to 7.3.8 scala-isabelle #199: Commit 477c21e pushed by dominique-unruh
July 8, 2024 22:59 1h 15m 10s master
master
July 8, 2024 22:59 1h 15m 10s
commons-io to 2.16.1 scala-isabelle #198: Commit 5665868 pushed by dominique-unruh
July 8, 2024 22:55 7h 6m 55s master
master
July 8, 2024 22:55 7h 6m 55s
Scala version to 2.13.14 / 2.12.19 scala-isabelle #197: Commit c3d0552 pushed by dominique-unruh
July 8, 2024 22:52 5h 49m 42s master
master
July 8, 2024 22:52 5h 49m 42s
slf4j-simple to 2.0.13 scala-isabelle #196: Commit 2afa806 pushed by dominique-unruh
July 8, 2024 22:47 4h 33m 8s master
master
July 8, 2024 22:47 4h 33m 8s
icu4j version to 75.1 scala-isabelle #195: Commit bf881e1 pushed by dominique-unruh
July 8, 2024 22:44 3h 26m 0s master
master
July 8, 2024 22:44 3h 26m 0s
Guava version to 33.2.1-jre. scala-isabelle #194: Commit 50b63f5 pushed by dominique-unruh
July 8, 2024 22:36 3h 23m 32s master
master
July 8, 2024 22:36 3h 23m 32s
Bumped commons-lang3 and commons-text versions scala-isabelle #193: Commit 4561ef5 pushed by dominique-unruh
July 8, 2024 18:03 1h 34m 2s master
master
July 8, 2024 18:03 1h 34m 2s
sbt version to 1.10.1 scala-isabelle #192: Commit 23c6042 pushed by dominique-unruh
July 8, 2024 17:57 3h 22m 14s master
master
July 8, 2024 17:57 3h 22m 14s
Updated description of credential file for publishing. scala-isabelle #191: Commit 77c3b3d pushed by dominique-unruh
July 8, 2024 17:55 6m 56s master
master
July 8, 2024 17:55 6m 56s
Updated CHANGELOG. scala-isabelle #190: Commit b1c30d4 pushed by dominique-unruh
July 8, 2024 17:55 2m 8s release-candidate
release-candidate
July 8, 2024 17:55 2m 8s
Fixed Scala_Isabelle_Master_Control_Program.thy to work with Isabelle… scala-isabelle #189: Commit ee5158b pushed by dominique-unruh
July 8, 2024 15:21 3m 56s master
master
July 8, 2024 15:21 3m 56s
Fixed pure.Mutex.scala. scala-isabelle #188: Commit 7d355d1 pushed by dominique-unruh
July 8, 2024 14:56 4m 27s release-candidate
release-candidate
July 8, 2024 14:56 4m 27s
Fixed pure.Mutex.scala. scala-isabelle #187: Commit 7d355d1 pushed by dominique-unruh
July 8, 2024 14:55 23m 52s master
master
July 8, 2024 14:55 23m 52s
Fixed startup code to work with Isabelle2024. scala-isabelle #186: Commit 867d056 pushed by dominique-unruh
July 8, 2024 09:09 2m 54s master
master
July 8, 2024 09:09 2m 54s
Added version 2024 to the library. scala-isabelle #185: Commit 799d799 pushed by dominique-unruh
July 8, 2024 07:53 36m 29s master
master
July 8, 2024 07:53 36m 29s
Added javaBooleanConverter etc. to have converters matching Java's bo… scala-isabelle #184: Commit 60b1c70 pushed by dominique-unruh
April 11, 2024 15:37 18h 30m 15s master
master
April 11, 2024 15:37 18h 30m 15s
Avoiding several concurrent initializations of Isabelle in tests. scala-isabelle #183: Commit e131a0a pushed by dominique-unruh
December 29, 2023 15:53 1h 27m 7s master
master
December 29, 2023 15:53 1h 27m 7s
Avoiding error message in log output for Isabelle 2021 when invoking … scala-isabelle #182: Commit 9a487d0 pushed by dominique-unruh
December 20, 2023 13:55 20m 52s master
master
December 20, 2023 13:55 20m 52s