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 #3033 from scala-steward/update/sbt-buildinfo-0.13.1 Auto-update #755: Commit b58649e pushed by konnov
November 27, 2024 17:06 16s main
main
November 27, 2024 17:06 16s
Update sbt-buildinfo to 0.13.1 release #1529: Pull request #3033 closed by konnov
November 27, 2024 17:06 3s scala-steward:update/sbt-buildinfo-0.13.1
scala-steward:update/sbt-buildinfo-0.13.1
November 27, 2024 17:06 3s
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
Merge pull request #3033 from scala-steward/update/sbt-buildinfo-0.13.1 docker-container #1098: Commit b58649e pushed by konnov
November 27, 2024 17:06 3m 15s main
main
November 27, 2024 17:06 3m 15s
Merge pull request #3033 from scala-steward/update/sbt-buildinfo-0.13.1 deploy #1325: Commit b58649e pushed by konnov
November 27, 2024 17:06 16s main
main
November 27, 2024 17:06 16s
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
Update commons-io to 2.18.0 release #1528: Pull request #3038 closed by konnov
November 27, 2024 16:45 4s scala-steward:update/commons-io-2.18.0
scala-steward:update/commons-io-2.18.0
November 27, 2024 16:45 4s
Merge pull request #3038 from scala-steward/update/commons-io-2.18.0 deploy #1324: Commit 1daa346 pushed by konnov
November 27, 2024 16:45 16s main
main
November 27, 2024 16:45 16s
Merge pull request #3038 from scala-steward/update/commons-io-2.18.0 Auto-update #754: Commit 1daa346 pushed by konnov
November 27, 2024 16:45 14s main
main
November 27, 2024 16:45 14s
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
Merge pull request #3038 from scala-steward/update/commons-io-2.18.0 docker-container #1097: Commit 1daa346 pushed by konnov
November 27, 2024 16:45 4m 8s main
main
November 27, 2024 16:45 4m 8s
Update zio, zio-test, zio-test-sbt to 2.1.12 release #1527: Pull request #3034 closed by scala-steward
November 21, 2024 14:14 6s scala-steward:update/zio-2.1.12
scala-steward:update/zio-2.1.12
November 21, 2024 14:14 6s
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
pages build and deployment pages-build-deployment #123: by github-pages bot
November 7, 2024 05:03 36s
November 7, 2024 05:03 36s
Merge pull request #3031 from apalache-mc/th/link-discourse deploy #1323: Commit c7d840d pushed by konnov
November 7, 2024 05:03 20s main
main
November 7, 2024 05:03 20s
Replace some left-over Zulip links with Discourse release #1526: Pull request #3031 closed by konnov
November 7, 2024 05:03 3s th/link-discourse
th/link-discourse
November 7, 2024 05:03 3s
Merge pull request #3031 from apalache-mc/th/link-discourse Auto-update #753: Commit c7d840d pushed by konnov
November 7, 2024 05:03 13s main
main
November 7, 2024 05:03 13s
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
Merge pull request #3031 from apalache-mc/th/link-discourse docker-container #1096: Commit c7d840d pushed by konnov
November 7, 2024 05:03 3m 4s main
main
November 7, 2024 05:03 3m 4s
pages build and deployment pages-build-deployment #122: by konnov
November 7, 2024 04:47 46s
November 7, 2024 04:47 46s