Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ujson, upickle to 4.1.0 build #7164: Pull request #3061 opened by scala-steward
January 10, 2025 14:53 23m 35s scala-steward:update/ujson-4.1.0
scala-steward:update/ujson-4.1.0
January 10, 2025 14:53 23m 35s
Update commons-beanutils to 1.10.0 build #7163: Pull request #3060 opened by scala-steward
January 8, 2025 13:53 21m 42s scala-steward:update/commons-beanutils-1.10.0
scala-steward:update/commons-beanutils-1.10.0
January 8, 2025 13:53 21m 42s
Update sbt-native-packager to 1.11.0 build #7162: Pull request #3059 opened by scala-steward
January 6, 2025 14:10 21m 50s scala-steward:update/sbt-native-packager-1.11.0
scala-steward:update/sbt-native-packager-1.11.0
January 6, 2025 14:10 21m 50s
Update logback-classic, logback-core to 1.5.16 build #7161: Pull request #3058 opened by scala-steward
January 6, 2025 14:09 25m 48s scala-steward:update/logback-classic-1.5.16
scala-steward:update/logback-classic-1.5.16
January 6, 2025 14:09 25m 48s
Upgrade Z3 (restores linux/arm64 support) release #1543: Pull request #3057 closed by thpani
January 4, 2025 08:33 4s th/upgrade-z3
th/upgrade-z3
January 4, 2025 08:33 4s
Merge pull request #3057 from apalache-mc/th/upgrade-z3 build #7160: Commit 512fc1c pushed by thpani
January 4, 2025 08:33 21m 1s main
main
January 4, 2025 08:33 21m 1s
Merge pull request #3057 from apalache-mc/th/upgrade-z3 deploy #1344: Commit 512fc1c pushed by thpani
January 4, 2025 08:33 21s main
main
January 4, 2025 08:33 21s
Merge pull request #3057 from apalache-mc/th/upgrade-z3 Auto-update #774: Commit 512fc1c pushed by thpani
January 4, 2025 08:33 13s main
main
January 4, 2025 08:33 13s
Merge pull request #3057 from apalache-mc/th/upgrade-z3 docker-container #1118: Commit 512fc1c pushed by thpani
January 4, 2025 08:33 5m 54s main
main
January 4, 2025 08:33 5m 54s
Upgrade Z3 (restores linux/arm64 support) build #7159: Pull request #3057 synchronize by thpani
January 3, 2025 15:28 21m 18s th/upgrade-z3
th/upgrade-z3
January 3, 2025 15:28 21m 18s
Upgrade Z3 (restores linux/arm64 support) build #7158: Pull request #3057 synchronize by thpani
January 3, 2025 14:05 21m 17s th/upgrade-z3
th/upgrade-z3
January 3, 2025 14:05 21m 17s
Upgrade Z3 (restores linux/arm64 support) build #7157: Pull request #3057 opened by thpani
January 3, 2025 14:03 20m 57s th/upgrade-z3
th/upgrade-z3
January 3, 2025 14:03 20m 57s
Update sbt, scripted-plugin to 1.10.7 build #7156: Pull request #3056 opened by scala-steward
December 23, 2024 13:59 20m 41s scala-steward:update/sbt-1.10.7
scala-steward:update/sbt-1.10.7
December 23, 2024 13:59 20m 41s
Update logback-classic, logback-core to 1.5.15 build #7155: Pull request #3055 opened by scala-steward
December 23, 2024 13:58 23m 23s scala-steward:update/logback-classic-1.5.15
scala-steward:update/logback-classic-1.5.15
December 23, 2024 13:58 23m 23s
Update logback-classic, logback-core to 1.5.14 release #1542: Pull request #3054 closed by scala-steward
December 23, 2024 13:58 3s scala-steward:update/logback-classic-1.5.14
scala-steward:update/logback-classic-1.5.14
December 23, 2024 13:58 3s
Update logback-classic, logback-core to 1.5.13 release #1541: Pull request #3051 closed by scala-steward
December 21, 2024 14:08 3s scala-steward:update/logback-classic-1.5.13
scala-steward:update/logback-classic-1.5.13
December 21, 2024 14:08 3s
Update logback-classic, logback-core to 1.5.14 build #7154: Pull request #3054 opened by scala-steward
December 21, 2024 14:08 21m 3s scala-steward:update/logback-classic-1.5.14
scala-steward:update/logback-classic-1.5.14
December 21, 2024 14:08 21m 3s
Update z3-turnkey to 4.13.4 build #7153: Pull request #3053 opened by scala-steward
December 19, 2024 13:27 19m 30s scala-steward:update/z3-turnkey-4.13.4
scala-steward:update/z3-turnkey-4.13.4
December 19, 2024 13:27 19m 30s
Update zio, zio-test, zio-test-sbt to 2.1.14 build #7152: Pull request #3052 opened by scala-steward
December 19, 2024 13:27 5m 4s scala-steward:update/zio-2.1.14
scala-steward:update/zio-2.1.14
December 19, 2024 13:27 5m 4s
Update logback-classic, logback-core to 1.5.13 build #7151: Pull request #3051 opened by scala-steward
December 19, 2024 13:26 21m 13s scala-steward:update/logback-classic-1.5.13
scala-steward:update/logback-classic-1.5.13
December 19, 2024 13:26 21m 13s
Update grpc-netty to 1.69.0 release #1540: Pull request #3045 closed by konnov
December 17, 2024 08:55 2s scala-steward:update/grpc-netty-1.69.0
scala-steward:update/grpc-netty-1.69.0
December 17, 2024 08:55 2s
Merge pull request #3045 from scala-steward/update/grpc-netty-1.69.0 Auto-update #773: Commit adc2403 pushed by konnov
December 17, 2024 08:55 14s main
main
December 17, 2024 08:55 14s
Merge pull request #3045 from scala-steward/update/grpc-netty-1.69.0 build #7150: Commit adc2403 pushed by konnov
December 17, 2024 08:55 21m 31s main
main
December 17, 2024 08:55 21m 31s
Merge pull request #3045 from scala-steward/update/grpc-netty-1.69.0 docker-container #1117: Commit adc2403 pushed by konnov
December 17, 2024 08:55 5m 46s main
main
December 17, 2024 08:55 5m 46s
Merge pull request #3045 from scala-steward/update/grpc-netty-1.69.0 deploy #1343: Commit adc2403 pushed by konnov
December 17, 2024 08:55 17s main
main
December 17, 2024 08:55 17s