Skip to content

Actions: scala-steward/apalache

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
280 workflow runs
280 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prepare-release prepare-release #199: Scheduled
17s unstable
unstable
17s
prepare-release prepare-release #198: Scheduled
14s unstable
unstable
14s
prepare-release prepare-release #197: Scheduled
18s unstable
unstable
18s
prepare-release prepare-release #196: Scheduled
20s unstable
unstable
20s
Merge pull request #3183 from scala-steward/update/sbt-scalafix-0.14.4 docker-container #360: Commit 6c2345b pushed by scala-steward
4m 5s main
main
4m 5s
Merge pull request #3183 from scala-steward/update/sbt-scalafix-0.14.4 deploy #360: Commit 6c2345b pushed by scala-steward
42s main
main
42s
Merge pull request #3183 from scala-steward/update/sbt-scalafix-0.14.4 build #360: Commit 6c2345b pushed by scala-steward
43m 33s main
main
43m 33s
Merge pull request #3183 from scala-steward/update/sbt-scalafix-0.14.4 Auto-update #360: Commit 6c2345b pushed by scala-steward
9m 34s main
main
9m 34s
Merge pull request #3177 from scala-steward/update/sbt-1.11.7 deploy #359: Commit bd7ee17 pushed by scala-steward
13s main
main
13s
Merge pull request #3177 from scala-steward/update/sbt-1.11.7 Auto-update #359: Commit bd7ee17 pushed by scala-steward
8s main
main
8s
Merge pull request #3177 from scala-steward/update/sbt-1.11.7 build #359: Commit bd7ee17 pushed by scala-steward
44m 6s main
main
44m 6s
Merge pull request #3177 from scala-steward/update/sbt-1.11.7 docker-container #359: Commit bd7ee17 pushed by scala-steward
3m 58s main
main
3m 58s
prepare-release prepare-release #195: Scheduled
13s unstable
unstable
13s
Merge pull request #3227 from scala-steward/update/commons-configurat… deploy #358: Commit 24503bd pushed by scala-steward
28s main
main
28s
Merge pull request #3227 from scala-steward/update/commons-configurat… build #358: Commit 24503bd pushed by scala-steward
34m 7s main
main
34m 7s
Merge pull request #3227 from scala-steward/update/commons-configurat… docker-container #358: Commit 24503bd pushed by scala-steward
5m 37s main
main
5m 37s
Merge pull request #3227 from scala-steward/update/commons-configurat… Auto-update #358: Commit 24503bd pushed by scala-steward
3m 2s main
main
3m 2s
prepare-release prepare-release #194: Scheduled
13s unstable
unstable
13s
Merge pull request #3226 from apalache-mc/igor/fix3225 deploy #357: Commit a45d3c2 pushed by scala-steward
9m 2s main
main
9m 2s
Merge pull request #3226 from apalache-mc/igor/fix3225 build #357: Commit a45d3c2 pushed by scala-steward
52m 25s main
main
52m 25s
Merge pull request #3226 from apalache-mc/igor/fix3225 Auto-update #357: Commit a45d3c2 pushed by scala-steward
19m 26s main
main
19m 26s
Merge pull request #3226 from apalache-mc/igor/fix3225 docker-container #357: Commit a45d3c2 pushed by scala-steward
12m 49s main
main
12m 49s
prepare-release prepare-release #193: Scheduled
11s unstable
unstable
11s
Merge pull request #3224 from apalache-mc/release/0.52.1 build #356: Commit f1a9b52 pushed by scala-steward
33m 38s main
main
33m 38s
Merge pull request #3224 from apalache-mc/release/0.52.1 deploy #356: Commit f1a9b52 pushed by scala-steward
3m 2s main
main
3m 2s