Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scalafmt-core to 3.7.16 build #6413: Pull request #2775 opened by scala-steward
November 11, 2023 17:54 31m 4s scala-steward:update/scalafmt-core-3.7.16
scala-steward:update/scalafmt-core-3.7.16
November 11, 2023 17:54 31m 4s
[release] 0.44.1 release #1325: Pull request #2771 closed by shonfeder
November 9, 2023 18:44 2s release/0.44.1
release/0.44.1
November 9, 2023 18:44 2s
Update zio, zio-test, zio-test-sbt to 2.0.19 release #1324: Pull request #2773 closed by shonfeder
November 9, 2023 18:43 3s scala-steward:update/zio-2.0.19
scala-steward:update/zio-2.0.19
November 9, 2023 18:43 3s
ZipOracle refactor (#2763) build #6412: Commit d46cc5e pushed by Kukovec
November 8, 2023 13:55 37m 45s main
main
November 8, 2023 13:55 37m 45s
ZipOracle refactor release #1323: Pull request #2763 closed by Kukovec
November 8, 2023 13:55 3s jk/oracles4
jk/oracles4
November 8, 2023 13:55 3s
ZipOracle refactor (#2763) deploy #1176: Commit d46cc5e pushed by Kukovec
November 8, 2023 13:55 17s main
main
November 8, 2023 13:55 17s
ZipOracle refactor (#2763) Auto-update #606: Commit d46cc5e pushed by Kukovec
November 8, 2023 13:55 13s main
main
November 8, 2023 13:55 13s
ZipOracle refactor (#2763) docker-container #930: Commit d46cc5e pushed by Kukovec
November 8, 2023 13:55 3m 11s main
main
November 8, 2023 13:55 3m 11s
ZipOracle refactor build #6411: Pull request #2763 synchronize by Kukovec
November 8, 2023 13:18 28m 14s jk/oracles4
jk/oracles4
November 8, 2023 13:18 28m 14s
ZipOracle refactor build #6410: Pull request #2763 synchronize by Kukovec
November 8, 2023 12:22 6h 1m 9s jk/oracles4
jk/oracles4
November 8, 2023 12:22 6h 1m 9s
ZipOracle refactor build #6409: Pull request #2763 synchronize by Kukovec
November 8, 2023 12:20 6h 1m 31s jk/oracles4
jk/oracles4
November 8, 2023 12:20 6h 1m 31s
Update zio, zio-test, zio-test-sbt to 2.0.19 build #6408: Pull request #2773 opened by scala-steward
November 7, 2023 21:28 6h 0m 15s scala-steward:update/zio-2.0.19
scala-steward:update/zio-2.0.19
November 7, 2023 21:28 6h 0m 15s
[release] 0.44.1 build #6407: Pull request #2771 opened by apalache-bot
November 6, 2023 00:07 38m 27s release/0.44.1
release/0.44.1
November 6, 2023 00:07 38m 27s
prepare-release prepare-release #234: Scheduled
November 6, 2023 00:04 3m 27s main
main
November 6, 2023 00:04 3m 27s
Update sbt-assembly to 2.1.4 release #1322: Pull request #2769 closed by shonfeder
October 30, 2023 21:03 2s scala-steward:update/sbt-assembly-2.1.4
scala-steward:update/sbt-assembly-2.1.4
October 30, 2023 21:03 2s
[release] 0.44.1 release #1321: Pull request #2770 closed by shonfeder
October 30, 2023 21:02 4s release/0.44.1
release/0.44.1
October 30, 2023 21:02 4s
[release] 0.44.1 build #6406: Pull request #2770 opened by apalache-bot
October 30, 2023 00:06 27m 28s release/0.44.1
release/0.44.1
October 30, 2023 00:06 27m 28s
prepare-release prepare-release #233: Scheduled
October 30, 2023 00:04 1m 58s main
main
October 30, 2023 00:04 1m 58s
Update sbt-assembly to 2.1.4 build #6405: Pull request #2769 opened by scala-steward
October 28, 2023 15:33 6m 26s scala-steward:update/sbt-assembly-2.1.4
scala-steward:update/sbt-assembly-2.1.4
October 28, 2023 15:33 6m 26s
Merge pull request #2767 from scala-steward/update/commons-io-2.15.0 docker-container #929: Commit cc0c47a pushed by shonfeder
October 26, 2023 19:29 4m 45s main
main
October 26, 2023 19:29 4m 45s
Merge pull request #2767 from scala-steward/update/commons-io-2.15.0 build #6404: Commit cc0c47a pushed by shonfeder
October 26, 2023 19:29 31m 25s main
main
October 26, 2023 19:29 31m 25s
Merge pull request #2767 from scala-steward/update/commons-io-2.15.0 deploy #1175: Commit cc0c47a pushed by shonfeder
October 26, 2023 19:29 18s main
main
October 26, 2023 19:29 18s
Merge pull request #2767 from scala-steward/update/commons-io-2.15.0 Auto-update #605: Commit cc0c47a pushed by shonfeder
October 26, 2023 19:29 13s main
main
October 26, 2023 19:29 13s
Update commons-io to 2.15.0 release #1320: Pull request #2767 closed by shonfeder
October 26, 2023 19:29 2s scala-steward:update/commons-io-2.15.0
scala-steward:update/commons-io-2.15.0
October 26, 2023 19:29 2s
Update commons-io to 2.15.0 build #6403: Pull request #2767 synchronize by apalache-bot
October 26, 2023 18:58 31m 18s scala-steward:update/commons-io-2.15.0
scala-steward:update/commons-io-2.15.0
October 26, 2023 18:58 31m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.