Skip to content

Actions: apalache-mc/apalache

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
303 workflow runs
303 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scalafmt-core to 3.7.7 release #1228: Pull request #2639 closed by shonfeder
July 10, 2023 13:51 3s scala-steward:update/scalafmt-core-3.7.7
scala-steward:update/scalafmt-core-3.7.7
July 10, 2023 13:51 3s
[release] 0.40.8 release #1227: Pull request #2644 closed by shonfeder
July 10, 2023 02:20 3s release/0.40.8
release/0.40.8
July 10, 2023 02:20 3s
StratifiedRules: Boolean connectives release #1226: Pull request #2641 closed by Kukovec
July 7, 2023 14:11 4s jk/stratifiedRules_AndOr
jk/stratifiedRules_AndOr
July 7, 2023 14:11 4s
StratifiedRules: Set enumeration release #1225: Pull request #2637 closed by Kukovec
July 7, 2023 11:26 4s jk/stratifiedRules_setCtor
jk/stratifiedRules_setCtor
July 7, 2023 11:26 4s
[release] 0.40.7 release #1224: Pull request #2638 closed by thpani
July 6, 2023 16:58 4m 52s release/0.40.7
release/0.40.7
July 6, 2023 16:58 4m 52s
Unify in-scope name types release #1223: Pull request #2635 closed by thpani
July 6, 2023 14:09 3s th/builder-name-unify
th/builder-name-unify
July 6, 2023 14:09 3s
Stratified rules: catch-up refactoring release #1222: Pull request #2631 closed by Kukovec
July 6, 2023 12:56 3s jk/stratifiedRules
jk/stratifiedRules
July 6, 2023 12:56 3s
Update grpc-netty to 1.56.1 release #1221: Pull request #2625 closed by thpani
July 6, 2023 12:08 3s scala-steward:update/grpc-netty-1.56.1
scala-steward:update/grpc-netty-1.56.1
July 6, 2023 12:08 3s
Update scalafmt-core to 3.7.6 release #1220: Pull request #2632 closed by thpani
July 6, 2023 10:46 3s scala-steward:update/scalafmt-core-3.7.6
scala-steward:update/scalafmt-core-3.7.6
July 6, 2023 10:46 3s
Translate Quint open row tuples to sparse tuples release #1219: Pull request #2634 closed by thpani
July 6, 2023 10:13 3s th/quint-sparse-tuples
th/quint-sparse-tuples
July 6, 2023 10:13 3s
Extend unification error message in appOp release #1218: Pull request #2633 closed by thpani
July 5, 2023 13:04 5s th/typedbuilder-unify-errormsg
th/typedbuilder-unify-errormsg
July 5, 2023 13:04 5s
[release] 0.40.6 release #1217: Pull request #2630 closed by thpani
July 4, 2023 12:50 4m 0s release/0.40.6
release/0.40.6
July 4, 2023 12:50 4m 0s
Refactor Quint class release #1216: Pull request #2628 closed by thpani
July 4, 2023 09:32 3s th/refactor-quint
th/refactor-quint
July 4, 2023 09:32 3s
[release] 0.40.6 release #1215: Pull request #2627 closed by thpani
July 3, 2023 13:17 3s release/0.40.6
release/0.40.6
July 3, 2023 13:17 3s
[release] 0.40.5 release #1214: Pull request #2624 closed by shonfeder
July 1, 2023 00:02 4m 5s release/0.40.5
release/0.40.5
July 1, 2023 00:02 4m 5s
Increase max inbound gRPC message size release #1213: Pull request #2623 closed by thpani
June 30, 2023 15:53 3s th/grpc-msg-size
th/grpc-msg-size
June 30, 2023 15:53 3s
Fix Quint translation of Nat and Int release #1212: Pull request #2621 closed by thpani
June 30, 2023 12:29 4s th/qnt-int-nat
th/qnt-int-nat
June 30, 2023 12:29 4s
[release] 0.40.5 release #1211: Pull request #2617 closed by shonfeder
June 29, 2023 13:50 4s release/0.40.5
release/0.40.5
June 29, 2023 13:50 4s
Added unification support for operator application release #1210: Pull request #2620 closed by Kukovec
June 28, 2023 14:03 3s jk/2618
jk/2618
June 28, 2023 14:03 3s
[release] 0.40.4 release #1209: Pull request #2616 closed by shonfeder
June 23, 2023 16:00 4m 15s release/0.40.4
release/0.40.4
June 23, 2023 16:00 4m 15s
Add changelog for #2608 release #1208: Pull request #2615 closed by thpani
June 21, 2023 16:02 3s th/add-changelog-2608
th/add-changelog-2608
June 21, 2023 16:02 3s
[DRAFT] Remove unnecessary CI cache workaround release #1207: Pull request #2613 closed by thpani
June 21, 2023 13:14 3s th/remove-ci-workarounds
th/remove-ci-workarounds
June 21, 2023 13:14 3s
Missing .unreleased entry release #1206: Pull request #2614 closed by Kukovec
June 21, 2023 12:45 3s jk/2606_bf
jk/2606_bf
June 21, 2023 12:45 3s
Replace deprecated sonatype resolver release #1205: Pull request #2612 closed by thpani
June 21, 2023 10:36 2s th/update-sonatype-resolver
th/update-sonatype-resolver
June 21, 2023 10:36 2s
Pointer propagation fix for powerset-cherrypick release #1204: Pull request #2607 closed by Kukovec
June 21, 2023 10:04 3s jk/2606
jk/2606
June 21, 2023 10:04 3s
ProTip! You can narrow down the results and go further in time using created:<2023-06-21 or the other filters available.