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

docs: fix typos release #1368: Pull request #2822 closed by shonfeder
January 30, 2024 20:01 3s cristiantroy:main
cristiantroy:main
January 30, 2024 20:01 3s
[release] 0.44.4 release #1367: Pull request #2823 closed by shonfeder
January 30, 2024 18:55 3m 20s release/0.44.4
release/0.44.4
January 30, 2024 18:55 3m 20s
Handle empty file error release #1366: Pull request #2821 closed by shonfeder
January 26, 2024 02:16 2s fan-tom:handle-empty-file-error
fan-tom:handle-empty-file-error
January 26, 2024 02:16 2s
Update compilerplugin, scalapb-runtime, ... to 0.11.15 release #1365: Pull request #2815 closed by shonfeder
January 23, 2024 15:21 3s scala-steward:update/compilerplugin-0.11.15
scala-steward:update/compilerplugin-0.11.15
January 23, 2024 15:21 3s
[release] 0.44.3 release #1364: Pull request #2817 closed by shonfeder
January 23, 2024 00:45 3m 34s release/0.44.3
release/0.44.3
January 23, 2024 00:45 3m 34s
Parse ASSUME declarations names release #1363: Pull request #2808 closed by shonfeder
January 22, 2024 23:49 3s fan-tom:parse-assume-name
fan-tom:parse-assume-name
January 22, 2024 23:49 3s
Add support for infinite sets in set inclusion for the (fun)arrays encoding release #1362: Pull request #2813 closed by rodrigo7491
January 22, 2024 15:23 4s ro/fix_function_inclusion
ro/fix_function_inclusion
January 22, 2024 15:23 4s
[release] 0.44.3 release #1361: Pull request #2812 closed by shonfeder
January 22, 2024 14:59 4s release/0.44.3
release/0.44.3
January 22, 2024 14:59 4s
Update pureconfig to 0.17.5 release #1360: Pull request #2809 closed by shonfeder
January 20, 2024 16:40 4s scala-steward:update/pureconfig-0.17.5
scala-steward:update/pureconfig-0.17.5
January 20, 2024 16:40 4s
Update z3-turnkey to 4.12.4 release #1359: Pull request #2807 closed by shonfeder
January 18, 2024 21:34 3s scala-steward:update/z3-turnkey-4.12.4
scala-steward:update/z3-turnkey-4.12.4
January 18, 2024 21:34 3s
Update slf4j-api to 2.0.11 release #1358: Pull request #2805 closed by shonfeder
January 15, 2024 20:31 2s scala-steward:update/slf4j-api-2.0.11
scala-steward:update/slf4j-api-2.0.11
January 15, 2024 20:31 2s
Update grpc-netty to 1.61.0 release #1357: Pull request #2804 closed by shonfeder
January 15, 2024 20:00 3s scala-steward:update/grpc-netty-1.61.0
scala-steward:update/grpc-netty-1.61.0
January 15, 2024 20:00 3s
Update ujson, upickle to 3.1.4 release #1356: Pull request #2801 closed by shonfeder
January 15, 2024 19:39 2s scala-steward:update/ujson-3.1.4
scala-steward:update/ujson-3.1.4
January 15, 2024 19:39 2s
Update zio, zio-test, zio-test-sbt to 2.0.21 release #1355: Pull request #2803 closed by shonfeder
January 15, 2024 19:39 3s scala-steward:update/zio-2.0.21
scala-steward:update/zio-2.0.21
January 15, 2024 19:39 3s
Update zio-grpc-codegen, zio-grpc-core to 0.6.1 release #1354: Pull request #2802 closed by shonfeder
January 15, 2024 19:39 1s scala-steward:update/zio-grpc-codegen-0.6.1
scala-steward:update/zio-grpc-codegen-0.6.1
January 15, 2024 19:39 1s
[release] 0.44.3 release #1353: Pull request #2806 closed by shonfeder
January 15, 2024 19:38 3s release/0.44.3
release/0.44.3
January 15, 2024 19:38 3s
[release] 0.44.3 release #1352: Pull request #2799 closed by shonfeder
January 12, 2024 21:21 2s release/0.44.3
release/0.44.3
January 12, 2024 21:21 2s
MockOracle refactor release #1351: Pull request #2731 closed by shonfeder
January 3, 2024 21:55 3s jk/oracles
jk/oracles
January 3, 2024 21:55 3s
A tutorial on property-based testing and Apalache-TLC release #1350: Pull request #1831 closed by shonfeder
January 3, 2024 20:31 2s ik/pbt-tutorial
ik/pbt-tutorial
January 3, 2024 20:31 2s
a work-in-progress spec of the model checker release #1349: Pull request #1757 closed by shonfeder
January 3, 2024 20:26 3s ik/spec1756
ik/spec1756
January 3, 2024 20:26 3s
New approach to rewriting rules release #1348: Pull request #899 closed by shonfeder
January 3, 2024 20:20 2s jk/rewriterV2
jk/rewriterV2
January 3, 2024 20:20 2s
[WIP] Unboxing Quint tuples in operator applications release #1347: Pull request #2680 closed by shonfeder
January 3, 2024 20:17 4s th/tuple-unboxing
th/tuple-unboxing
January 3, 2024 20:17 4s
Update grpc-netty to 1.59.1 release #1346: Pull request #2787 closed by shonfeder
January 2, 2024 19:21 3s scala-steward:update/grpc-netty-1.59.1
scala-steward:update/grpc-netty-1.59.1
January 2, 2024 19:21 3s
Update logback-classic, logback-core to 1.4.14 release #1345: Pull request #2790 closed by shonfeder
January 2, 2024 18:54 2s scala-steward:update/logback-classic-1.4.14
scala-steward:update/logback-classic-1.4.14
January 2, 2024 18:54 2s
Update commons-io to 2.15.1 release #1344: Pull request #2791 closed by shonfeder
January 2, 2024 18:33 2s scala-steward:update/commons-io-2.15.1
scala-steward:update/commons-io-2.15.1
January 2, 2024 18:33 2s