Skip to content

Actions: apalache-mc/apalache

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update zio, zio-test, zio-test-sbt to 2.0.17 release #1293: Pull request #2740 closed by shonfeder
September 18, 2023 18:36 2s scala-steward:update/zio-2.0.17
scala-steward:update/zio-2.0.17
September 18, 2023 18:36 2s
Use ubuntu version 20.04 in unit tests release #1292: Pull request #2737 closed by shonfeder
September 18, 2023 18:35 3s ci-pin-ubuntu-version
ci-pin-ubuntu-version
September 18, 2023 18:35 3s
Update scala-library to 2.13.12 release #1291: Pull request #2730 closed by shonfeder
September 18, 2023 16:43 4s scala-steward:update/scala-library-2.13.12
scala-steward:update/scala-library-2.13.12
September 18, 2023 16:43 4s
[release] 0.43.0 release #1290: Pull request #2736 closed by shonfeder
September 18, 2023 15:35 4m 25s release/0.43.0
release/0.43.0
September 18, 2023 15:35 4m 25s
[release] 0.42.1 release #1289: Pull request #2735 closed by shonfeder
September 18, 2023 13:54 2s release/0.42.1
release/0.42.1
September 18, 2023 13:54 2s
PI-week: Refactor Transpile release #1288: Pull request #2720 closed by Kukovec
September 14, 2023 13:15 3s jk/piweek_transpile
jk/piweek_transpile
September 14, 2023 13:15 3s
Revise the ITF format release #1287: Pull request #2733 closed by konnov
September 14, 2023 10:06 4s igor/itf2732
igor/itf2732
September 14, 2023 10:06 4s
Update easymock to 5.2.0 release #1286: Pull request #2722 closed by shonfeder
September 11, 2023 18:21 2s scala-steward:update/easymock-5.2.0
scala-steward:update/easymock-5.2.0
September 11, 2023 18:21 2s
Update sbt-scalafmt to 2.5.2 release #1285: Pull request #2723 closed by shonfeder
September 11, 2023 17:48 3s scala-steward:update/sbt-scalafmt-2.5.2
scala-steward:update/sbt-scalafmt-2.5.2
September 11, 2023 17:48 3s
Update scalafmt-core to 3.7.14 release #1284: Pull request #2724 closed by shonfeder
September 11, 2023 17:11 3s scala-steward:update/scalafmt-core-3.7.14
scala-steward:update/scalafmt-core-3.7.14
September 11, 2023 17:11 3s
Update sbt-scoverage to 2.0.9 release #1283: Pull request #2726 closed by shonfeder
September 11, 2023 16:26 3s scala-steward:update/sbt-scoverage-2.0.9
scala-steward:update/sbt-scoverage-2.0.9
September 11, 2023 16:26 3s
Update grpc-netty to 1.58.0 release #1282: Pull request #2721 closed by shonfeder
September 11, 2023 15:18 3s scala-steward:update/grpc-netty-1.58.0
scala-steward:update/grpc-netty-1.58.0
September 11, 2023 15:18 3s
Update slf4j-api to 2.0.9 release #1281: Pull request #2727 closed by shonfeder
September 11, 2023 14:44 3s scala-steward:update/slf4j-api-2.0.9
scala-steward:update/slf4j-api-2.0.9
September 11, 2023 14:44 3s
[release] 0.42.1 release #1280: Pull request #2728 closed by shonfeder
September 11, 2023 14:42 3s release/0.42.1
release/0.42.1
September 11, 2023 14:42 3s
First attempt at refactoring Oracles release #1279: Pull request #2709 closed by Kukovec
September 6, 2023 13:39 4s jk/oracles_1
jk/oracles_1
September 6, 2023 13:39 4s
Update sbt-docker to 1.11.0 release #1278: Pull request #2711 closed by shonfeder
September 6, 2023 03:34 2s scala-steward:update/sbt-docker-1.11.0
scala-steward:update/sbt-docker-1.11.0
September 6, 2023 03:34 2s
Update sbt-scalafmt to 2.5.1 release #1277: Pull request #2716 closed by shonfeder
September 6, 2023 02:59 2s scala-steward:update/sbt-scalafmt-2.5.1
scala-steward:update/sbt-scalafmt-2.5.1
September 6, 2023 02:59 2s
Update scalafmt-core to 3.7.13 release #1276: Pull request #2717 closed by shonfeder
September 6, 2023 02:27 2s scala-steward:update/scalafmt-core-3.7.13
scala-steward:update/scalafmt-core-3.7.13
September 6, 2023 02:27 2s
Update zio, zio-test, zio-test-sbt to 2.0.16 release #1275: Pull request #2710 closed by shonfeder
September 6, 2023 01:53 2s scala-steward:update/zio-2.0.16
scala-steward:update/zio-2.0.16
September 6, 2023 01:53 2s
Update README.md to point nix users to cosmos.nix release #1274: Pull request #2718 closed by konnov
September 6, 2023 01:51 3s JonathanLorimer:patch-1
JonathanLorimer:patch-1
September 6, 2023 01:51 3s
[release] 0.42.1 release #1273: Pull request #2719 closed by shonfeder
September 4, 2023 01:36 3s release/0.42.1
release/0.42.1
September 4, 2023 01:36 3s
Transpile regression release #1272: Pull request #2714 closed by shonfeder
August 29, 2023 14:19 4s jk/piweek_transpile
jk/piweek_transpile
August 29, 2023 14:19 4s
[release] 0.42.1 release #1271: Pull request #2712 closed by shonfeder
August 28, 2023 12:41 3s release/0.42.1
release/0.42.1
August 28, 2023 12:41 3s
StratifiedRules: Integer literals release #1270: Pull request #2706 closed by Kukovec
August 25, 2023 11:01 2s jk/2705
jk/2705
August 25, 2023 11:01 2s
Explanation of caseAssertions behavior release #1269: Pull request #2707 closed by Kukovec
August 24, 2023 14:28 5s jk/oracleComments
jk/oracleComments
August 24, 2023 14:28 5s
ProTip! You can narrow down the results and go further in time using created:<2023-08-24 or the other filters available.