Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,256 workflow runs
1,256 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

JSON-RPC: produce labels in loadSpec release #1661: Pull request #3189 closed by konnov
1s igor/json-rpc-labels
igor/json-rpc-labels
1s
Merge pull request #3189 from apalache-mc/igor/json-rpc-labels deploy #1424: Commit 7e3334f pushed by konnov
15s main
main
15s
Merge pull request #3189 from apalache-mc/igor/json-rpc-labels build #7566: Commit 7e3334f pushed by konnov
27m 39s main
main
27m 39s
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 #3189 from apalache-mc/igor/json-rpc-labels docker-container #1207: Commit 7e3334f pushed by konnov
3m 9s main
main
3m 9s
JSON-RPC: produce labels in loadSpec build #7565: Pull request #3189 synchronize by konnov
26m 40s igor/json-rpc-labels
igor/json-rpc-labels
26m 40s
JSON-RPC: produce labels in loadSpec build #7564: Pull request #3189 synchronize by konnov
34m 53s igor/json-rpc-labels
igor/json-rpc-labels
34m 53s
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
Merge pull request #3193 from scala-steward/update/scalafmt-core-3.10.1 docker-container #1206: Commit bec7df8 pushed by konnov
3m 15s main
main
3m 15s
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 #3193 from scala-steward/update/scalafmt-core-3.10.1 build #7563: Commit bec7df8 pushed by konnov
28m 21s main
main
28m 21s
Merge pull request #3193 from scala-steward/update/scalafmt-core-3.10.1 deploy #1423: Commit bec7df8 pushed by konnov
18s main
main
18s
Update scalafmt-core to 3.10.1 build #7562: Pull request #3193 opened by scala-steward
26m 53s scala-steward:update/scalafmt-core-3.10.1
scala-steward:update/scalafmt-core-3.10.1
26m 53s
Update ujson, upickle to 4.4.0 build #7561: Pull request #3192 opened by scala-steward
25m 4s scala-steward:update/ujson-4.4.0
scala-steward:update/ujson-4.4.0
25m 4s
Update zio, zio-test, zio-test-sbt to 2.1.22 build #7560: Pull request #3190 opened by scala-steward
17m 5s scala-steward:update/zio-2.1.22
scala-steward:update/zio-2.1.22
17m 5s
JSON-RPC: produce labels in loadSpec build #7559: Pull request #3189 synchronize by konnov
25m 21s igor/json-rpc-labels
igor/json-rpc-labels
25m 21s
JSON-RPC: produce labels in loadSpec build #7558: Pull request #3189 synchronize by konnov
33m 9s igor/json-rpc-labels
igor/json-rpc-labels
33m 9s
JSON-RPC: produce labels in loadSpec build #7557: Pull request #3189 synchronize by konnov
31m 1s igor/json-rpc-labels
igor/json-rpc-labels
31m 1s
JSON-RPC: produce labels in loadSpec build #7556: Pull request #3189 synchronize by konnov
29m 19s igor/json-rpc-labels
igor/json-rpc-labels
29m 19s
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
Merge pull request #3188 from apalache-mc/igor/json-rpc-no-recording docker-container #1205: Commit 2212614 pushed by konnov
3m 6s main
main
3m 6s
Merge pull request #3188 from apalache-mc/igor/json-rpc-no-recording build #7555: Commit 2212614 pushed by konnov
27m 55s main
main
27m 55s
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 #3188 from apalache-mc/igor/json-rpc-no-recording deploy #1422: Commit 2212614 pushed by konnov
19s main
main
19s
JSON-RPC: produce labels in loadSpec build #7554: Pull request #3189 synchronize by konnov
25m 36s igor/json-rpc-labels
igor/json-rpc-labels
25m 36s