Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update zio, zio-test, zio-test-sbt to 2.1.18 release #1572: Pull request #3098 closed by scala-steward
May 30, 2025 12:56 1s scala-steward:update/zio-2.1.18
scala-steward:update/zio-2.1.18
May 30, 2025 12:56 1s
Update zio, zio-test, zio-test-sbt to 2.1.19 build #7235: Pull request #3103 opened by scala-steward
May 30, 2025 12:56 5m 55s scala-steward:update/zio-2.1.19
scala-steward:update/zio-2.1.19
May 30, 2025 12:56 5m 55s
Update commons-beanutils to 1.10.1 release #1571: Pull request #3075 closed by scala-steward
May 28, 2025 14:43 1s scala-steward:update/commons-beanutils-1.10.1
scala-steward:update/commons-beanutils-1.10.1
May 28, 2025 14:43 1s
Update commons-beanutils to 1.11.0 build #7234: Pull request #3102 opened by scala-steward
May 28, 2025 14:43 25m 42s scala-steward:update/commons-beanutils-1.11.0
scala-steward:update/commons-beanutils-1.11.0
May 28, 2025 14:43 25m 42s
Update sbt, scripted-plugin to 1.11.0 build #7233: Pull request #3101 opened by scala-steward
May 24, 2025 14:05 20m 30s scala-steward:update/sbt-1.11.0
scala-steward:update/sbt-1.11.0
May 24, 2025 14:05 20m 30s
Update easymock to 5.6.0 build #7232: Pull request #3100 opened by scala-steward
May 18, 2025 13:51 20m 11s scala-steward:update/easymock-5.6.0
scala-steward:update/easymock-5.6.0
May 18, 2025 13:51 20m 11s
Update ujson, upickle to 4.2.1 build #7231: Pull request #3099 opened by scala-steward
May 18, 2025 13:51 21m 6s scala-steward:update/ujson-4.2.1
scala-steward:update/ujson-4.2.1
May 18, 2025 13:51 21m 6s
Update zio, zio-test, zio-test-sbt to 2.1.18 build #7230: Pull request #3098 opened by scala-steward
May 16, 2025 13:37 5m 8s scala-steward:update/zio-2.1.18
scala-steward:update/zio-2.1.18
May 16, 2025 13:37 5m 8s
Update shapeless to 2.3.13 build #7229: Pull request #3082 synchronize by konnov
May 11, 2025 13:04 3m 7s scala-steward:update/shapeless-2.3.13
scala-steward:update/shapeless-2.3.13
May 11, 2025 13:04 3m 7s
Update pureconfig to 0.17.9 build #7228: Pull request #3091 synchronize by coffeeinprogress
May 11, 2025 13:04 2m 49s scala-steward:update/pureconfig-0.17.9
scala-steward:update/pureconfig-0.17.9
May 11, 2025 13:04 2m 49s
Merge pull request #3086 from scala-steward/update/logback-classic-1.… deploy #1356: Commit beef3c7 pushed by konnov
May 11, 2025 13:04 14s main
main
May 11, 2025 13:04 14s
Update logback-classic, logback-core to 1.5.18 release #1570: Pull request #3086 closed by konnov
May 11, 2025 13:04 1s scala-steward:update/logback-classic-1.5.18
scala-steward:update/logback-classic-1.5.18
May 11, 2025 13:04 1s
Merge pull request #3086 from scala-steward/update/logback-classic-1.… docker-container #1130: Commit beef3c7 pushed by konnov
May 11, 2025 13:04 3m 39s main
main
May 11, 2025 13:04 3m 39s
Merge pull request #3086 from scala-steward/update/logback-classic-1.… build #7227: Commit beef3c7 pushed by konnov
May 11, 2025 13:04 20m 8s main
main
May 11, 2025 13:04 20m 8s
Merge pull request #3086 from scala-steward/update/logback-classic-1.… Auto-update #786: Commit beef3c7 pushed by konnov
May 11, 2025 13:04 12s main
main
May 11, 2025 13:04 12s
Update logback-classic, logback-core to 1.5.18 build #7226: Pull request #3086 synchronize by konnov
May 11, 2025 12:15 20m 20s scala-steward:update/logback-classic-1.5.18
scala-steward:update/logback-classic-1.5.18
May 11, 2025 12:15 20m 20s
Update pureconfig to 0.17.9 build #7225: Pull request #3091 synchronize by coffeeinprogress
May 11, 2025 09:06 3m 58s scala-steward:update/pureconfig-0.17.9
scala-steward:update/pureconfig-0.17.9
May 11, 2025 09:06 3m 58s
Update sbt, scripted-plugin to 1.10.11 release #1569: Pull request #3085 closed by konnov
May 11, 2025 09:06 1s scala-steward:update/sbt-1.10.11
scala-steward:update/sbt-1.10.11
May 11, 2025 09:06 1s
Merge pull request #3085 from scala-steward/update/sbt-1.10.11 docker-container #1129: Commit d96e4cf pushed by konnov
May 11, 2025 09:06 3m 14s main
main
May 11, 2025 09:06 3m 14s
Merge pull request #3085 from scala-steward/update/sbt-1.10.11 Auto-update #785: Commit d96e4cf pushed by konnov
May 11, 2025 09:06 9s main
main
May 11, 2025 09:06 9s
Merge pull request #3085 from scala-steward/update/sbt-1.10.11 deploy #1355: Commit d96e4cf pushed by konnov
May 11, 2025 09:06 12s main
main
May 11, 2025 09:06 12s
Merge pull request #3085 from scala-steward/update/sbt-1.10.11 build #7224: Commit d96e4cf pushed by konnov
May 11, 2025 09:06 23m 21s main
main
May 11, 2025 09:06 23m 21s
Update sbt, scripted-plugin to 1.10.11 build #7223: Pull request #3085 synchronize by konnov
May 11, 2025 08:46 20m 22s scala-steward:update/sbt-1.10.11
scala-steward:update/sbt-1.10.11
May 11, 2025 08:46 20m 22s
Update pureconfig to 0.17.9 build #7222: Pull request #3091 synchronize by coffeeinprogress
May 10, 2025 20:25 2m 53s scala-steward:update/pureconfig-0.17.9
scala-steward:update/pureconfig-0.17.9
May 10, 2025 20:25 2m 53s
Polish the landing page release #1568: Pull request #3097 closed by konnov
May 10, 2025 20:25 1s igor/fix-landing
igor/fix-landing
May 10, 2025 20:25 1s