Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement JSON-RPC method assumeState build #7618: Pull request #3212 synchronize by konnov
40m 46s igor/json-rpc-assume-state2
igor/json-rpc-assume-state2
40m 46s
Implement JSON-RPC method assumeState build #7617: Pull request #3212 synchronize by konnov
40m 31s igor/json-rpc-assume-state2
igor/json-rpc-assume-state2
40m 31s
Implement JSON-RPC method assumeState build #7616: Pull request #3212 opened by konnov
35m 15s igor/json-rpc-assume-state2
igor/json-rpc-assume-state2
35m 15s
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
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 #3210 from apalache-mc/igor/json-rpc-assume-state build #7615: Commit 63fbd10 pushed by konnov
24m 26s main
main
24m 26s
Merge pull request #3210 from apalache-mc/igor/json-rpc-assume-state deploy #1435: Commit 63fbd10 pushed by konnov
16s main
main
16s
Merge pull request #3210 from apalache-mc/igor/json-rpc-assume-state docker-container #1219: Commit 63fbd10 pushed by konnov
3m 1s main
main
3m 1s
Refactor JSON handling code towards assumeState build #7614: Pull request #3210 synchronize by konnov
34m 50s igor/json-rpc-assume-state
igor/json-rpc-assume-state
34m 50s
Refactor JSON handling code towards assumeState build #7613: Pull request #3210 synchronize by konnov
25m 31s igor/json-rpc-assume-state
igor/json-rpc-assume-state
25m 31s
Refactor JSON handling code towards assumeState build #7612: Pull request #3210 synchronize by konnov
30m 46s igor/json-rpc-assume-state
igor/json-rpc-assume-state
30m 46s
Refactor JSON handling code towards assumeState build #7611: Pull request #3210 opened by konnov
14m 3s igor/json-rpc-assume-state
igor/json-rpc-assume-state
14m 3s
v0.51.1 docker-container #1218: Release v0.51.1 published by coffeeinprogress
3m 17s
3m 17s
Merge pull request #3209 from apalache-mc/release/0.51.1 Auto-update #864: Commit 19606d0 pushed by konnov
8s main
main
8s
[release] 0.51.1 release #1672: Pull request #3209 closed by konnov
10m 33s release/0.51.1
release/0.51.1
10m 33s
Merge pull request #3209 from apalache-mc/release/0.51.1 build #7610: Commit 19606d0 pushed by konnov
30m 57s main
main
30m 57s
Merge pull request #3209 from apalache-mc/release/0.51.1 docker-container #1217: Commit 19606d0 pushed by konnov
3m 26s main
main
3m 26s
Merge pull request #3209 from apalache-mc/release/0.51.1 deploy #1434: Commit 19606d0 pushed by konnov
12s main
main
12s
[release] 0.51.1 build #7609: Pull request #3209 opened by coffeeinprogress
38m 33s release/0.51.1
release/0.51.1
38m 33s
prepare-release prepare-release #317: Manually run by konnov
3m 12s main
main
3m 12s
Merge pull request #3208 from apalache-mc/release/0.51.0 docker-container #1216: Commit aefd2c2 pushed by konnov
3m 4s main
main
3m 4s
Merge pull request #3208 from apalache-mc/release/0.51.0 Auto-update #863: Commit aefd2c2 pushed by konnov
7s main
main
7s
[release] 0.51.0 release #1671: Pull request #3208 closed by konnov
1m 18s release/0.51.0
release/0.51.0
1m 18s
Merge pull request #3208 from apalache-mc/release/0.51.0 deploy #1433: Commit aefd2c2 pushed by konnov
15s main
main
15s
Merge pull request #3208 from apalache-mc/release/0.51.0 build #7608: Commit aefd2c2 pushed by konnov
32m 4s main
main
32m 4s