Skip to content

Actions: dominique-unruh/scala-isabelle

Actions

scala-isabelle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
28 workflow run results
28 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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 #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
CHANGELOG: changed links from latest/ to 0.4.2/. scala-isabelle #179: Commit 545fe4e pushed by dominique-unruh
September 25, 2023 14:49 7m 49s master
master
September 25, 2023 14:49 7m 49s
Fixed links scala-isabelle #178: Commit 47b7099 pushed by dominique-unruh
September 25, 2023 13:50 1h 7m 51s master
master
September 25, 2023 13:50 1h 7m 51s
Added links in CHANGELOG. scala-isabelle #177: Commit 15ca995 pushed by dominique-unruh
September 25, 2023 13:47 1h 10m 21s master
master
September 25, 2023 13:47 1h 10m 21s
Merge remote-tracking branch 'refs/remotes/origin/master' scala-isabelle #176: Commit 1e7cad0 pushed by dominique-unruh
September 14, 2023 15:21 2h 23m 16s master
master
September 14, 2023 15:21 2h 23m 16s
Merge pull request #11 from mi-ki/patch-1 scala-isabelle #175: Commit 15ea854 pushed by dominique-unruh
September 14, 2023 15:18 1h 10m 46s master
master
September 14, 2023 15:18 1h 10m 46s