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

[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
prepare-release prepare-release #316: Manually run by konnov
2m 58s main
main
2m 58s
Fix transitive inlining of polytypes when receiving Quint as input release #1670: Pull request #3207 closed by konnov
1s igor/fix3204
igor/fix3204
1s
Merge pull request #3207 from apalache-mc/igor/fix3204 docker-container #1215: Commit d1e58b8 pushed by konnov
3m 18s main
main
3m 18s
Merge pull request #3207 from apalache-mc/igor/fix3204 Auto-update #862: Commit d1e58b8 pushed by konnov
10s main
main
10s
Merge pull request #3207 from apalache-mc/igor/fix3204 build #7605: Commit d1e58b8 pushed by konnov
22m 48s main
main
22m 48s
Merge pull request #3207 from apalache-mc/igor/fix3204 deploy #1432: Commit d1e58b8 pushed by konnov
13s main
main
13s
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
Fix json-rpc query method in case of no model release #1669: Pull request #3205 closed by konnov
1s igor/fix-query
igor/fix-query
1s
Merge pull request #3205 from apalache-mc/igor/fix-query build #7602: Commit 9bd1a07 pushed by konnov
35m 18s main
main
35m 18s
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 #3205 from apalache-mc/igor/fix-query deploy #1431: Commit 9bd1a07 pushed by konnov
11s main
main
11s
Merge pull request #3205 from apalache-mc/igor/fix-query docker-container #1214: Commit 9bd1a07 pushed by konnov
3m 23s main
main
3m 23s
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
Update jackson-databind to 2.19.4 build #7593: Pull request #3201 opened by scala-steward
23m 55s scala-steward:update/jackson-databind-2.19.4
scala-steward:update/jackson-databind-2.19.4
23m 55s
Merge pull request #3194 from apalache-mc/igor/prompt-typechecking build #7592: Commit 4fce355 pushed by konnov
30m 31s main
main
30m 31s