Skip to content

Actions: apalache-mc/apalache

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor JSON handling code towards assumeState release #1673: Pull request #3210 closed by konnov
2s igor/json-rpc-assume-state
igor/json-rpc-assume-state
2s
[release] 0.51.1 release #1672: Pull request #3209 closed by konnov
10m 33s release/0.51.1
release/0.51.1
10m 33s
[release] 0.51.0 release #1671: Pull request #3208 closed by konnov
1m 18s release/0.51.0
release/0.51.0
1m 18s
Fix transitive inlining of polytypes when receiving Quint as input release #1670: Pull request #3207 closed by konnov
1s igor/fix3204
igor/fix3204
1s
Fix json-rpc query method in case of no model release #1669: Pull request #3205 closed by konnov
1s igor/fix-query
igor/fix-query
1s
Add initial instructions for type annotating with AI tools release #1668: Pull request #3194 closed by konnov
3s igor/prompt-typechecking
igor/prompt-typechecking
3s
Fix the alias parser to include digits release #1667: Pull request #3199 closed by konnov
1s igor/fix-type-aliases
igor/fix-type-aliases
1s
Update sbt-scoverage to 2.4.0 release #1666: Pull request #3197 closed by konnov
1s scala-steward:update/sbt-scoverage-2.4.0
scala-steward:update/sbt-scoverage-2.4.0
1s
Update zio, zio-test, zio-test-sbt to 2.1.22 release #1665: Pull request #3190 closed by konnov
1s scala-steward:update/zio-2.1.22
scala-steward:update/zio-2.1.22
1s
Fix stability of the assignment finder release #1664: Pull request #3198 closed by konnov
1s igor/assignments-nondet
igor/assignments-nondet
1s
Update logback-classic, logback-core to 1.5.20 release #1663: Pull request #3195 closed by konnov
1s scala-steward:update/logback-classic-1.5.20
scala-steward:update/logback-classic-1.5.20
1s
Update jetty-server to 12.1.3 release #1662: Pull request #3196 closed by konnov
2s scala-steward:update/jetty-server-12.1.3
scala-steward:update/jetty-server-12.1.3
2s
JSON-RPC: produce labels in loadSpec release #1661: Pull request #3189 closed by konnov
1s igor/json-rpc-labels
igor/json-rpc-labels
1s
Update scalafmt-core to 3.10.1 release #1660: Pull request #3193 closed by konnov
1s scala-steward:update/scalafmt-core-3.10.1
scala-steward:update/scalafmt-core-3.10.1
1s
JSON-RPC: Remove the recording context release #1659: Pull request #3188 closed by konnov
1s igor/json-rpc-no-recording
igor/json-rpc-no-recording
1s
Update scalafmt-core to 3.10.0 release #1658: Pull request #3186 closed by konnov
1s scala-steward:update/scalafmt-core-3.10.0
scala-steward:update/scalafmt-core-3.10.0
1s
JSON-RPC: add the code for session not found release #1657: Pull request #3187 closed by konnov
1s igor/session-not-found
igor/session-not-found
1s
Add JVM_GC_ARGS to the runner release #1656: Pull request #3185 closed by konnov
1s igor/gc-settings
igor/gc-settings
1s
Update jetty-server to 12.1.2 release #1655: Pull request #3181 closed by konnov
Skipped scala-steward:update/jetty-server-12.1.2
scala-steward:update/jetty-server-12.1.2
Skipped
Set the core pool size to the number of logical cores release #1654: Pull request #3184 closed by konnov
1s igor/core-pool-size
igor/core-pool-size
1s
Sort the relations in the counterexamples release #1653: Pull request #3182 closed by konnov
1s igor/decoder-uniqueness
igor/decoder-uniqueness
1s
Update scala-library to 2.13.17 release #1652: Pull request #3180 closed by konnov
1s scala-steward:update/scala-library-2.13.17
scala-steward:update/scala-library-2.13.17
1s
JSON-RPC: phase 6 release #1651: Pull request #3179 closed by konnov
1s igor/json-rpc6
igor/json-rpc6
1s
Update logback-classic, logback-core to 1.5.19 release #1650: Pull request #3175 closed by konnov
Skipped scala-steward:update/logback-classic-1.5.19
scala-steward:update/logback-classic-1.5.19
Skipped
JSON-RPC: add method query release #1649: Pull request #3174 closed by konnov
7s igor/json-rpc5
igor/json-rpc5
7s