Skip to content

Actions: apalache-mc/apalache

Actions

Auto-update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
auto-update.yml
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3210 from apalache-mc/igor/json-rpc-assume-state Auto-update #865: Commit 63fbd10 pushed by konnov
7s main
main
7s
Merge pull request #3209 from apalache-mc/release/0.51.1 Auto-update #864: Commit 19606d0 pushed by konnov
8s main
main
8s
Merge pull request #3208 from apalache-mc/release/0.51.0 Auto-update #863: Commit aefd2c2 pushed by konnov
7s main
main
7s
Merge pull request #3207 from apalache-mc/igor/fix3204 Auto-update #862: Commit d1e58b8 pushed by konnov
10s main
main
10s
Merge pull request #3205 from apalache-mc/igor/fix-query Auto-update #861: Commit 9bd1a07 pushed by konnov
9s main
main
9s
Merge pull request #3194 from apalache-mc/igor/prompt-typechecking Auto-update #860: Commit 4fce355 pushed by konnov
14s main
main
14s
add diagnostic messages Auto-update #859: Commit d708430 pushed by konnov
13s main
main
13s
Merge pull request #3199 from apalache-mc/igor/fix-type-aliases Auto-update #858: Commit b147c49 pushed by konnov
11s main
main
11s
Merge pull request #3197 from scala-steward/update/sbt-scoverage-2.4.0 Auto-update #857: Commit b200a82 pushed by konnov
13s main
main
13s
Merge pull request #3198 from apalache-mc/igor/assignments-nondet Auto-update #856: Commit 4cbd139 pushed by konnov
12s main
main
12s
Merge pull request #3195 from scala-steward/update/logback-classic-1.… Auto-update #855: Commit b189db9 pushed by konnov
15s main
main
15s
Merge pull request #3189 from apalache-mc/igor/json-rpc-labels Auto-update #854: Commit 7e3334f pushed by konnov
7s main
main
7s
Merge pull request #3193 from scala-steward/update/scalafmt-core-3.10.1 Auto-update #853: Commit bec7df8 pushed by konnov
8s main
main
8s
Merge pull request #3188 from apalache-mc/igor/json-rpc-no-recording Auto-update #852: Commit 2212614 pushed by konnov
9s main
main
9s
Merge pull request #3186 from scala-steward/update/scalafmt-core-3.10.0 Auto-update #851: Commit 56aa21e pushed by konnov
10s main
main
10s
Merge pull request #3187 from apalache-mc/igor/session-not-found Auto-update #850: Commit 619bba0 pushed by konnov
8s main
main
8s
Merge pull request #3185 from apalache-mc/igor/gc-settings Auto-update #849: Commit 61ae3ad pushed by konnov
8s main
main
8s
fix the test Auto-update #848: Commit 56a45a7 pushed by konnov
9s main
main
9s
Merge pull request #3184 from apalache-mc/igor/core-pool-size Auto-update #847: Commit d5d2487 pushed by konnov
8s main
main
8s
Merge pull request #3182 from apalache-mc/igor/decoder-uniqueness Auto-update #846: Commit b25f797 pushed by konnov
9s main
main
9s
Merge pull request #3180 from scala-steward/update/scala-library-2.13.17 Auto-update #845: Commit c2b8325 pushed by konnov
8s main
main
8s
Merge pull request #3179 from apalache-mc/igor/json-rpc6 Auto-update #844: Commit a0ae75a pushed by konnov
8s main
main
8s
Merge pull request #3175 from scala-steward/update/logback-classic-1.… Auto-update #843: Commit 6004a24 pushed by konnov
7s main
main
7s
Merge pull request #3174 from apalache-mc/igor/json-rpc5 Auto-update #842: Commit c98b59e pushed by konnov
9s main
main
9s
Merge pull request #3176 from scala-steward/update/sbt-native-package… Auto-update #841: Commit fc08daa pushed by konnov
10s main
main
10s