Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
923 workflow runs
923 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3033 from scala-steward/update/sbt-buildinfo-0.13.1 build #7097: Commit b58649e pushed by konnov
November 27, 2024 17:06 22m 28s main
main
November 27, 2024 17:06 22m 28s
Update sbt-buildinfo to 0.13.1 build #7096: Pull request #3033 synchronize by konnov
November 27, 2024 16:45 21m 0s scala-steward:update/sbt-buildinfo-0.13.1
scala-steward:update/sbt-buildinfo-0.13.1
November 27, 2024 16:45 21m 0s
Merge pull request #3038 from scala-steward/update/commons-io-2.18.0 build #7095: Commit 1daa346 pushed by konnov
November 27, 2024 16:45 24m 2s main
main
November 27, 2024 16:45 24m 2s
Update zio, zio-test, zio-test-sbt to 2.1.13 build #7094: Pull request #3039 opened by scala-steward
November 21, 2024 14:14 9m 4s scala-steward:update/zio-2.1.13
scala-steward:update/zio-2.1.13
November 21, 2024 14:14 9m 4s
Update commons-io to 2.18.0 build #7093: Pull request #3038 opened by scala-steward
November 21, 2024 14:14 22m 43s scala-steward:update/commons-io-2.18.0
scala-steward:update/commons-io-2.18.0
November 21, 2024 14:14 22m 43s
Update pureconfig to 0.17.8 build #7092: Pull request #3037 opened by scala-steward
November 21, 2024 14:14 4m 11s scala-steward:update/pureconfig-0.17.8
scala-steward:update/pureconfig-0.17.8
November 21, 2024 14:14 4m 11s
Update easymock to 5.5.0 build #7091: Pull request #3036 opened by scala-steward
November 17, 2024 13:49 21m 6s scala-steward:update/easymock-5.5.0
scala-steward:update/easymock-5.5.0
November 17, 2024 13:49 21m 6s
Update zio, zio-test, zio-test-sbt to 2.1.12 build #7090: Pull request #3034 opened by scala-steward
November 9, 2024 14:08 5m 0s scala-steward:update/zio-2.1.12
scala-steward:update/zio-2.1.12
November 9, 2024 14:08 5m 0s
Update sbt-buildinfo to 0.13.1 build #7089: Pull request #3033 opened by scala-steward
November 9, 2024 14:08 21m 42s scala-steward:update/sbt-buildinfo-0.13.1
scala-steward:update/sbt-buildinfo-0.13.1
November 9, 2024 14:08 21m 42s
Merge pull request #3031 from apalache-mc/th/link-discourse build #7088: Commit c7d840d pushed by konnov
November 7, 2024 05:03 21m 38s main
main
November 7, 2024 05:03 21m 38s
Replace some left-over Zulip links with Discourse build #7087: Pull request #3031 synchronize by konnov
November 7, 2024 04:42 21m 27s th/link-discourse
th/link-discourse
November 7, 2024 04:42 21m 27s
Merge pull request #3024 from scala-steward/update/logback-classic-1.… build #7086: Commit 0c7e251 pushed by konnov
November 7, 2024 04:40 21m 56s main
main
November 7, 2024 04:40 21m 56s
Replace some left-over Zulip links with Discourse build #7085: Pull request #3031 opened by thpani
November 7, 2024 02:44 21m 31s th/link-discourse
th/link-discourse
November 7, 2024 02:44 21m 31s
Update logback-classic, logback-core to 1.5.12 build #7084: Pull request #3024 synchronize by konnov
November 7, 2024 02:42 24m 1s scala-steward:update/logback-classic-1.5.12
scala-steward:update/logback-classic-1.5.12
November 7, 2024 02:42 24m 1s
Update sbt, scripted-plugin to 1.10.4 build #7083: Pull request #3027 synchronize by konnov
November 7, 2024 02:40 23m 50s scala-steward:update/sbt-1.10.4
scala-steward:update/sbt-1.10.4
November 7, 2024 02:40 23m 50s
Merge pull request #3030 from scala-steward/update/sbt-1.10.5 build #7082: Commit 759b3f4 pushed by konnov
November 7, 2024 02:32 22m 10s main
main
November 7, 2024 02:32 22m 10s
Update sbt, scripted-plugin to 1.10.5 build #7081: Pull request #3030 opened by scala-steward
November 5, 2024 14:44 23m 4s scala-steward:update/sbt-1.10.5
scala-steward:update/sbt-1.10.5
November 5, 2024 14:44 23m 4s
Merge pull request #3026 from scala-steward/update/grpc-netty-1.68.1 build #7080: Commit b329285 pushed by konnov
November 4, 2024 13:08 22m 4s main
main
November 4, 2024 13:08 22m 4s
Update grpc-netty to 1.68.1 build #7079: Pull request #3026 synchronize by coffeeinprogress
November 4, 2024 12:46 21m 41s scala-steward:update/grpc-netty-1.68.1
scala-steward:update/grpc-netty-1.68.1
November 4, 2024 12:46 21m 41s
Merge pull request #3028 from nano-o/main build #7078: Commit 978f7a5 pushed by konnov
November 4, 2024 12:46 21m 54s main
main
November 4, 2024 12:46 21m 54s
Update grpc-netty to 1.68.1 build #7077: Pull request #3026 synchronize by konnov
November 4, 2024 12:25 26m 9s scala-steward:update/grpc-netty-1.68.1
scala-steward:update/grpc-netty-1.68.1
November 4, 2024 12:25 26m 9s
Update sbt, scripted-plugin to 1.10.4 build #7076: Pull request #3027 synchronize by konnov
November 4, 2024 12:24 25m 29s scala-steward:update/sbt-1.10.4
scala-steward:update/sbt-1.10.4
November 4, 2024 12:24 25m 29s
update variants.md to new alias syntax build #7075: Pull request #3028 synchronize by coffeeinprogress
November 4, 2024 12:24 21m 10s nano-o:main
nano-o:main
November 4, 2024 12:24 21m 10s
Merge pull request #3029 from scala-steward/update/sbt-buildinfo-0.13.0 build #7074: Commit a538a48 pushed by konnov
November 4, 2024 12:24 20m 54s main
main
November 4, 2024 12:24 20m 54s
Update sbt-buildinfo to 0.13.0 build #7073: Pull request #3029 opened by scala-steward
November 3, 2024 14:14 20m 49s scala-steward:update/sbt-buildinfo-0.13.0
scala-steward:update/sbt-buildinfo-0.13.0
November 3, 2024 14:14 20m 49s