Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update sbt, scripted-plugin to 1.10.10 build #7192: Pull request #3084 opened by scala-steward
March 5, 2025 14:27 25m 52s scala-steward:update/sbt-1.10.10
scala-steward:update/sbt-1.10.10
March 5, 2025 14:27 25m 52s
Update sbt, scripted-plugin to 1.10.8 release #1558: Pull request #3083 closed by scala-steward
March 5, 2025 14:27 3s scala-steward:update/sbt-1.10.8
scala-steward:update/sbt-1.10.8
March 5, 2025 14:27 3s
Update sbt, scripted-plugin to 1.10.7 release #1557: Pull request #3056 closed by scala-steward
March 3, 2025 14:14 3s scala-steward:update/sbt-1.10.7
scala-steward:update/sbt-1.10.7
March 3, 2025 14:14 3s
Update sbt, scripted-plugin to 1.10.8 build #7191: Pull request #3083 opened by scala-steward
March 3, 2025 14:14 26m 17s scala-steward:update/sbt-1.10.8
scala-steward:update/sbt-1.10.8
March 3, 2025 14:14 26m 17s
Update shapeless to 2.3.13 build #7190: Pull request #3082 opened by scala-steward
March 3, 2025 14:14 2m 45s scala-steward:update/shapeless-2.3.13
scala-steward:update/shapeless-2.3.13
March 3, 2025 14:14 2m 45s
Update z3-turnkey to 4.14.0 build #7189: Pull request #3081 opened by scala-steward
February 27, 2025 13:34 27m 1s scala-steward:update/z3-turnkey-4.14.0
scala-steward:update/z3-turnkey-4.14.0
February 27, 2025 13:34 27m 1s
Update slf4j-api to 2.0.17 build #7188: Pull request #3080 opened by scala-steward
February 27, 2025 13:34 23m 45s scala-steward:update/slf4j-api-2.0.17
scala-steward:update/slf4j-api-2.0.17
February 27, 2025 13:34 23m 45s
Update zio, zio-test, zio-test-sbt to 2.1.15 release #1556: Pull request #3073 closed by scala-steward
February 27, 2025 13:33 2s scala-steward:update/zio-2.1.15
scala-steward:update/zio-2.1.15
February 27, 2025 13:33 2s
Update zio, zio-test, zio-test-sbt to 2.1.16 build #7187: Pull request #3079 opened by scala-steward
February 27, 2025 13:33 5m 55s scala-steward:update/zio-2.1.16
scala-steward:update/zio-2.1.16
February 27, 2025 13:33 5m 55s
Update logback-classic, logback-core to 1.5.16 release #1555: Pull request #3058 closed by scala-steward
February 27, 2025 13:33 3s scala-steward:update/logback-classic-1.5.16
scala-steward:update/logback-classic-1.5.16
February 27, 2025 13:33 3s
Update logback-classic, logback-core to 1.5.17 build #7186: Pull request #3078 opened by scala-steward
February 27, 2025 13:33 23m 39s scala-steward:update/logback-classic-1.5.17
scala-steward:update/logback-classic-1.5.17
February 27, 2025 13:33 23m 39s
Update sbt-scoverage to 2.3.1 build #7185: Pull request #3077 opened by scala-steward
February 21, 2025 10:47 23m 56s scala-steward:update/sbt-scoverage-2.3.1
scala-steward:update/sbt-scoverage-2.3.1
February 21, 2025 10:47 23m 56s
Update sbt-scoverage to 2.3.0 release #1554: Pull request #3064 closed by scala-steward
February 21, 2025 10:47 2s scala-steward:update/sbt-scoverage-2.3.0
scala-steward:update/sbt-scoverage-2.3.0
February 21, 2025 10:47 2s
Update sbt-scalafix to 0.14.2 build #7184: Pull request #3076 opened by scala-steward
February 21, 2025 10:47 21m 29s scala-steward:update/sbt-scalafix-0.14.2
scala-steward:update/sbt-scalafix-0.14.2
February 21, 2025 10:47 21m 29s
Update sbt-scalafix to 0.14.0 release #1553: Pull request #3065 closed by scala-steward
February 21, 2025 10:47 3s scala-steward:update/sbt-scalafix-0.14.0
scala-steward:update/sbt-scalafix-0.14.0
February 21, 2025 10:47 3s
Update commons-beanutils to 1.10.1 build #7183: Pull request #3075 opened by scala-steward
February 13, 2025 14:14 22m 31s scala-steward:update/commons-beanutils-1.10.1
scala-steward:update/commons-beanutils-1.10.1
February 13, 2025 14:14 22m 31s
Update commons-beanutils to 1.10.0 release #1552: Pull request #3060 closed by scala-steward
February 13, 2025 14:14 4s scala-steward:update/commons-beanutils-1.10.0
scala-steward:update/commons-beanutils-1.10.0
February 13, 2025 14:14 4s
Update zio, zio-test, zio-test-sbt to 2.1.14 release #1551: Pull request #3052 closed by scala-steward
February 5, 2025 13:46 2s scala-steward:update/zio-2.1.14
scala-steward:update/zio-2.1.14
February 5, 2025 13:46 2s
Update zio, zio-test, zio-test-sbt to 2.1.15 build #7182: Pull request #3073 opened by scala-steward
February 5, 2025 13:46 6m 11s scala-steward:update/zio-2.1.15
scala-steward:update/zio-2.1.15
February 5, 2025 13:46 6m 11s
Update sbt-native-packager to 1.11.0 release #1550: Pull request #3059 closed by scala-steward
February 5, 2025 13:46 3s scala-steward:update/sbt-native-packager-1.11.0
scala-steward:update/sbt-native-packager-1.11.0
February 5, 2025 13:46 3s
Update sbt-native-packager to 1.11.1 build #7181: Pull request #3072 opened by scala-steward
February 5, 2025 13:46 22m 58s scala-steward:update/sbt-native-packager-1.11.1
scala-steward:update/sbt-native-packager-1.11.1
February 5, 2025 13:46 22m 58s
Update scalafmt-core to 3.8.6 build #7180: Pull request #3071 opened by scala-steward
January 24, 2025 15:11 21m 26s scala-steward:update/scalafmt-core-3.8.6
scala-steward:update/scalafmt-core-3.8.6
January 24, 2025 15:11 21m 26s
Merge pull request #3068 from scala-steward/update/sbt-scalafmt-2.5.4 docker-container #1121: Commit 5e6a02a pushed by konnov
January 22, 2025 16:14 6m 15s main
main
January 22, 2025 16:14 6m 15s
Merge pull request #3068 from scala-steward/update/sbt-scalafmt-2.5.4 Auto-update #777: Commit 5e6a02a pushed by konnov
January 22, 2025 16:14 10s main
main
January 22, 2025 16:14 10s
Merge pull request #3068 from scala-steward/update/sbt-scalafmt-2.5.4 deploy #1347: Commit 5e6a02a pushed by konnov
January 22, 2025 16:14 18s main
main
January 22, 2025 16:14 18s