Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
625 workflow runs
625 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
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
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
Merge pull request #3209 from apalache-mc/release/0.51.1 build #7610: Commit 19606d0 pushed by konnov
30m 57s main
main
30m 57s
[release] 0.51.1 build #7609: Pull request #3209 opened by coffeeinprogress
38m 33s release/0.51.1
release/0.51.1
38m 33s
Merge pull request #3208 from apalache-mc/release/0.51.0 build #7608: Commit aefd2c2 pushed by konnov
32m 4s main
main
32m 4s
[release] 0.51.0 build #7607: Pull request #3208 synchronize by konnov
31m 11s release/0.51.0
release/0.51.0
31m 11s
[release] 0.51.0 build #7606: Pull request #3208 opened by coffeeinprogress
24m 34s release/0.51.0
release/0.51.0
24m 34s
Merge pull request #3207 from apalache-mc/igor/fix3204 build #7605: Commit d1e58b8 pushed by konnov
22m 48s main
main
22m 48s
Fix transitive inlining of polytypes when receiving Quint as input build #7604: Pull request #3207 synchronize by konnov
32m 36s igor/fix3204
igor/fix3204
32m 36s
Fix transitive inlining of polytypes when receiving Quint as input build #7603: Pull request #3207 opened by konnov
36m 38s igor/fix3204
igor/fix3204
36m 38s
Merge pull request #3205 from apalache-mc/igor/fix-query build #7602: Commit 9bd1a07 pushed by konnov
35m 18s main
main
35m 18s
Fix json-rpc query method in case of no model build #7601: Pull request #3205 synchronize by konnov
1h 21m 58s igor/fix-query
igor/fix-query
1h 21m 58s
Fix json-rpc query method in case of no model build #7600: Pull request #3205 synchronize by konnov
36m 29s igor/fix-query
igor/fix-query
36m 29s
Update ujson, upickle to 4.4.1 build #7599: Pull request #3206 opened by scala-steward
44m 5s scala-steward:update/ujson-4.4.1
scala-steward:update/ujson-4.4.1
44m 5s
Fix json-rpc query method in case of no model build #7598: Pull request #3205 synchronize by konnov
48m 29s igor/fix-query
igor/fix-query
48m 29s
Fix json-rpc query method in case of no model build #7597: Pull request #3205 synchronize by konnov
39m 41s igor/fix-query
igor/fix-query
39m 41s
Fix json-rpc query method in case of no model build #7596: Pull request #3205 opened by konnov
33m 44s igor/fix-query
igor/fix-query
33m 44s
Update sbt-scalafmt to 2.5.6 build #7595: Pull request #3203 opened by scala-steward
38m 17s scala-steward:update/sbt-scalafmt-2.5.6
scala-steward:update/sbt-scalafmt-2.5.6
38m 17s
Update jackson-module-scala to 2.20.1 build #7594: Pull request #3202 opened by scala-steward
23m 41s scala-steward:update/jackson-module-scala-2.20.1
scala-steward:update/jackson-module-scala-2.20.1
23m 41s