Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3028 from nano-o/main deploy #1319: Commit 978f7a5 pushed by konnov
November 4, 2024 12:46 24s main
main
November 4, 2024 12:46 24s
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
Merge pull request #3028 from nano-o/main docker-container #1092: Commit 978f7a5 pushed by konnov
November 4, 2024 12:46 3m 3s main
main
November 4, 2024 12:46 3m 3s
Merge pull request #3028 from nano-o/main Auto-update #749: Commit 978f7a5 pushed by konnov
November 4, 2024 12:46 17s main
main
November 4, 2024 12:46 17s
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
Merge pull request #3029 from scala-steward/update/sbt-buildinfo-0.13.0 deploy #1318: Commit a538a48 pushed by konnov
November 4, 2024 12:24 15s main
main
November 4, 2024 12:24 15s
Update sbt-buildinfo to 0.13.0 release #1520: Pull request #3029 closed by konnov
November 4, 2024 12:24 4s scala-steward:update/sbt-buildinfo-0.13.0
scala-steward:update/sbt-buildinfo-0.13.0
November 4, 2024 12:24 4s
Merge pull request #3029 from scala-steward/update/sbt-buildinfo-0.13.0 Auto-update #748: Commit a538a48 pushed by konnov
November 4, 2024 12:24 15s main
main
November 4, 2024 12:24 15s
Merge pull request #3029 from scala-steward/update/sbt-buildinfo-0.13.0 docker-container #1091: Commit a538a48 pushed by konnov
November 4, 2024 12:24 3m 41s main
main
November 4, 2024 12:24 3m 41s
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
Update sbt, scripted-plugin to 1.10.4 build #7071: Pull request #3027 opened by scala-steward
October 30, 2024 19:09 21m 46s scala-steward:update/sbt-1.10.4
scala-steward:update/sbt-1.10.4
October 30, 2024 19:09 21m 46s
Update grpc-netty to 1.68.1 build #7070: Pull request #3026 opened by scala-steward
October 30, 2024 19:08 21m 22s scala-steward:update/grpc-netty-1.68.1
scala-steward:update/grpc-netty-1.68.1
October 30, 2024 19:08 21m 22s
Update zio-grpc-codegen, zio-grpc-core to 0.6.3 build #7069: Pull request #3025 opened by scala-steward
October 30, 2024 19:08 7m 9s scala-steward:update/zio-grpc-codegen-0.6.3
scala-steward:update/zio-grpc-codegen-0.6.3
October 30, 2024 19:08 7m 9s
Update logback-classic, logback-core to 1.5.12 build #7068: Pull request #3024 opened by scala-steward
October 26, 2024 15:23 19m 31s scala-steward:update/logback-classic-1.5.12
scala-steward:update/logback-classic-1.5.12
October 26, 2024 15:23 19m 31s
Update logback-classic, logback-core to 1.5.11 release #1519: Pull request #3020 closed by scala-steward
October 26, 2024 15:23 3s scala-steward:update/logback-classic-1.5.11
scala-steward:update/logback-classic-1.5.11
October 26, 2024 15:23 3s
Update sbt-scoverage to 2.2.2 build #7067: Pull request #3023 synchronize by konnov
October 22, 2024 13:45 22m 9s scala-steward:update/sbt-scoverage-2.2.2
scala-steward:update/sbt-scoverage-2.2.2
October 22, 2024 13:45 22m 9s
Merge pull request #3022 from scala-steward/update/sbt-1.10.3 Auto-update #747: Commit 29a1527 pushed by konnov
October 22, 2024 13:20 18s main
main
October 22, 2024 13:20 18s
Merge pull request #3022 from scala-steward/update/sbt-1.10.3 deploy #1317: Commit 29a1527 pushed by konnov
October 22, 2024 13:20 20s main
main
October 22, 2024 13:20 20s
Merge pull request #3022 from scala-steward/update/sbt-1.10.3 docker-container #1090: Commit 29a1527 pushed by konnov
October 22, 2024 13:20 3m 32s main
main
October 22, 2024 13:20 3m 32s
Merge pull request #3022 from scala-steward/update/sbt-1.10.3 build #7066: Commit 29a1527 pushed by konnov
October 22, 2024 13:20 21m 45s main
main
October 22, 2024 13:20 21m 45s
Update sbt to 1.10.3 release #1518: Pull request #3022 closed by konnov
October 22, 2024 13:20 3s scala-steward:update/sbt-1.10.3
scala-steward:update/sbt-1.10.3
October 22, 2024 13:20 3s
Update sbt-scoverage to 2.2.2 build #7065: Pull request #3023 opened by scala-steward
October 20, 2024 16:51 22m 29s scala-steward:update/sbt-scoverage-2.2.2
scala-steward:update/sbt-scoverage-2.2.2
October 20, 2024 16:51 22m 29s