Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
991 workflow runs
991 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ujson, upickle to 3.3.1 build #6892: Pull request #2905 synchronize by coffeeinprogress
August 19, 2024 21:44 23m 1s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 19, 2024 21:44 23m 1s
Merge pull request #2955 from apalache-mc/release/0.45.2 build #6891: Commit b287556 pushed by konnov
August 19, 2024 21:44 22m 24s main
main
August 19, 2024 21:44 22m 24s
[release] 0.45.2 build #6890: Pull request #2955 opened by coffeeinprogress
August 19, 2024 21:22 21m 57s release/0.45.2
release/0.45.2
August 19, 2024 21:22 21m 57s
Update ujson, upickle to 3.3.1 build #6889: Pull request #2905 synchronize by coffeeinprogress
August 19, 2024 21:18 21m 46s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 19, 2024 21:18 21m 46s
Merge pull request #2954 from gleachkr/patch-1 build #6888: Commit 1ba5037 pushed by konnov
August 19, 2024 21:18 22m 38s main
main
August 19, 2024 21:18 22m 38s
Update scalatest to 3.2.19 build #6887: Pull request #2915 synchronize by konnov
August 19, 2024 20:58 3m 57s scala-steward:update/scalatest-3.2.19
scala-steward:update/scalatest-3.2.19
August 19, 2024 20:58 3m 57s
Update README.md build #6886: Pull request #2954 opened by gleachkr
August 19, 2024 20:46 22m 13s gleachkr:patch-1
gleachkr:patch-1
August 19, 2024 20:46 22m 13s
Update zio-grpc-codegen, zio-grpc-core to 0.6.2 build #6885: Pull request #2896 synchronize by coffeeinprogress
August 19, 2024 20:18 10m 53s scala-steward:update/zio-grpc-codegen-0.6.2
scala-steward:update/zio-grpc-codegen-0.6.2
August 19, 2024 20:18 10m 53s
Update ujson, upickle to 3.3.1 build #6884: Pull request #2905 synchronize by coffeeinprogress
August 19, 2024 20:18 25m 10s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 19, 2024 20:18 25m 10s
Update zio, zio-test, zio-test-sbt to 2.1.7 build #6883: Pull request #2925 synchronize by coffeeinprogress
August 19, 2024 20:18 5m 15s scala-steward:update/zio-2.1.7
scala-steward:update/zio-2.1.7
August 19, 2024 20:18 5m 15s
Merge pull request #2899 from scala-steward/update/sbt-scoverage-2.0.12 build #6882: Commit 3c6c00e pushed by konnov
August 19, 2024 20:18 22m 51s main
main
August 19, 2024 20:18 22m 51s
Update zio, zio-test, zio-test-sbt to 2.1.7 build #6881: Pull request #2925 synchronize by konnov
August 19, 2024 19:57 5m 54s scala-steward:update/zio-2.1.7
scala-steward:update/zio-2.1.7
August 19, 2024 19:57 5m 54s
Update sbt-scoverage to 2.0.12 build #6880: Pull request #2899 synchronize by konnov
August 19, 2024 19:55 23m 0s scala-steward:update/sbt-scoverage-2.0.12
scala-steward:update/sbt-scoverage-2.0.12
August 19, 2024 19:55 23m 0s
Update zio-grpc-codegen, zio-grpc-core to 0.6.2 build #6879: Pull request #2896 synchronize by konnov
August 19, 2024 12:43 4m 51s scala-steward:update/zio-grpc-codegen-0.6.2
scala-steward:update/zio-grpc-codegen-0.6.2
August 19, 2024 12:43 4m 51s
Update ujson, upickle to 3.3.1 build #6878: Pull request #2905 synchronize by coffeeinprogress
August 19, 2024 12:38 22m 16s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 19, 2024 12:38 22m 16s
Merge pull request #2909 from scala-steward/update/pureconfig-0.17.7 build #6877: Commit 46ef798 pushed by konnov
August 19, 2024 12:38 23m 0s main
main
August 19, 2024 12:38 23m 0s
Update pureconfig to 0.17.7 build #6876: Pull request #2909 synchronize by konnov
August 19, 2024 12:16 22m 36s scala-steward:update/pureconfig-0.17.7
scala-steward:update/pureconfig-0.17.7
August 19, 2024 12:16 22m 36s
Update ujson, upickle to 3.3.1 build #6875: Pull request #2905 synchronize by konnov
August 19, 2024 12:13 22m 6s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 19, 2024 12:13 22m 6s
Merge pull request #2907 from scala-steward/update/compilerplugin-0.1… build #6874: Commit 5b0e11c pushed by konnov
August 19, 2024 12:13 22m 53s main
main
August 19, 2024 12:13 22m 53s
Update sbt-assembly to 2.2.0 build #6873: Pull request #2861 synchronize by konnov
August 19, 2024 12:07 3m 35s scala-steward:update/sbt-assembly-2.2.0
scala-steward:update/sbt-assembly-2.2.0
August 19, 2024 12:07 3m 35s
Update compilerplugin, scalapb-runtime, ... to 0.11.17 build #6872: Pull request #2907 synchronize by coffeeinprogress
August 19, 2024 11:50 22m 31s scala-steward:update/compilerplugin-0.11.17
scala-steward:update/compilerplugin-0.11.17
August 19, 2024 11:50 22m 31s
Merge pull request #2904 from scala-steward/update/shapeless-2.3.12 build #6871: Commit 9c7a608 pushed by konnov
August 19, 2024 11:50 22m 34s main
main
August 19, 2024 11:50 22m 34s
Update scalatest to 3.2.19 build #6870: Pull request #2915 synchronize by konnov
August 19, 2024 11:30 12m 45s scala-steward:update/scalatest-3.2.19
scala-steward:update/scalatest-3.2.19
August 19, 2024 11:30 12m 45s
Update scala-library to 2.13.14 build #6869: Pull request #2897 synchronize by konnov
August 19, 2024 11:27 28m 0s scala-steward:update/scala-library-2.13.14
scala-steward:update/scala-library-2.13.14
August 19, 2024 11:27 28m 0s
Update compilerplugin, scalapb-runtime, ... to 0.11.17 build #6868: Pull request #2907 synchronize by coffeeinprogress
August 19, 2024 11:27 24m 50s scala-steward:update/compilerplugin-0.11.17
scala-steward:update/compilerplugin-0.11.17
August 19, 2024 11:27 24m 50s