Skip to content

Actions: apalache-mc/apalache

Actions

docker-container

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
container.yml
250 workflow runs
250 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2804 from scala-steward/update/grpc-netty-1.61.0 docker-container #948: Commit 79d6418 pushed by shonfeder
January 15, 2024 20:00 2m 55s main
main
January 15, 2024 20:00 2m 55s
Merge pull request #2801 from scala-steward/update/ujson-3.1.4 docker-container #947: Commit b7730c6 pushed by shonfeder
January 15, 2024 19:39 3m 8s main
main
January 15, 2024 19:39 3m 8s
Merge pull request #2731 from informalsystems/jk/oracles docker-container #946: Commit 70d7f24 pushed by shonfeder
January 3, 2024 21:55 2m 54s main
main
January 3, 2024 21:55 2m 54s
Merge pull request #2787 from scala-steward/update/grpc-netty-1.59.1 docker-container #945: Commit 253f4c4 pushed by shonfeder
January 2, 2024 19:21 2m 51s main
main
January 2, 2024 19:21 2m 51s
Merge pull request #2790 from scala-steward/update/logback-classic-1.… docker-container #944: Commit db70228 pushed by shonfeder
January 2, 2024 18:54 3m 43s main
main
January 2, 2024 18:54 3m 43s
Merge pull request #2791 from scala-steward/update/commons-io-2.15.1 docker-container #943: Commit d093642 pushed by shonfeder
January 2, 2024 18:33 3m 23s main
main
January 2, 2024 18:33 3m 23s
v0.44.2 docker-container #942: Release v0.44.2 published by apalache-bot
December 1, 2023 23:17 3m 0s
December 1, 2023 23:17 3m 0s
Merge pull request #2793 from informalsystems/release/0.44.2 docker-container #941: Commit acc3840 pushed by shonfeder
December 1, 2023 23:14 3m 10s main
main
December 1, 2023 23:14 3m 10s
Merge pull request #2792 from informalsystems/shon/fix-wildard-match docker-container #940: Commit 67cb5ff pushed by shonfeder
December 1, 2023 22:37 2m 51s main
main
December 1, 2023 22:37 2m 51s
v0.44.1 docker-container #939: Release v0.44.1 published by apalache-bot
December 1, 2023 13:29 3m 8s
December 1, 2023 13:29 3m 8s
Merge pull request #2789 from informalsystems/release/0.44.1 docker-container #938: Commit 30fe7d4 pushed by shonfeder
December 1, 2023 13:25 2m 52s main
main
December 1, 2023 13:25 2m 52s
Merge pull request #2783 from informalsystems/quint/1034/sum-types docker-container #937: Commit cb437eb pushed by shonfeder
December 1, 2023 01:14 3m 7s main
main
December 1, 2023 01:14 3m 7s
Merge pull request #2786 from scala-steward/update/logback-classic-1.… docker-container #936: Commit 2d9a8e2 pushed by shonfeder
November 29, 2023 23:18 3m 17s main
main
November 29, 2023 23:18 3m 17s
Merge pull request #2785 from informalsystems/th/fix-dispose docker-container #935: Commit 42f2b00 pushed by thpani
November 29, 2023 12:51 3m 8s main
main
November 29, 2023 12:51 3m 8s
Merge pull request #2782 from informalsystems/2774/catch-nonnondet-oneOf docker-container #934: Commit b7cd23e pushed by shonfeder
November 24, 2023 18:00 3m 9s main
main
November 24, 2023 18:00 3m 9s
Upgrade dependencies to Guice 7 (#2781) docker-container #933: Commit c40dc46 pushed by thpani
November 23, 2023 13:02 3m 4s main
main
November 23, 2023 13:02 3m 4s
Merge pull request #2779 from scala-steward/update/scalafmt-core-3.7.17 docker-container #932: Commit eb73de4 pushed by shonfeder
November 20, 2023 21:59 3m 16s main
main
November 20, 2023 21:59 3m 16s
Throw error when attempting to construct a UNION of function sets (#2… docker-container #931: Commit 6576959 pushed by Kukovec
November 14, 2023 14:45 4m 33s main
main
November 14, 2023 14:45 4m 33s
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
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 #2768 from scala-steward/update/scalafmt-core-3.7.15 docker-container #928: Commit 8cf34a6 pushed by shonfeder
October 26, 2023 18:57 5m 10s main
main
October 26, 2023 18:57 5m 10s
v0.44.0 docker-container #927: Release v0.44.0 published by apalache-bot
October 23, 2023 16:22 4m 28s
October 23, 2023 16:22 4m 28s
Merge pull request #2766 from informalsystems/release/0.44.0 docker-container #926: Commit 6755b15 pushed by shonfeder
October 23, 2023 16:18 4m 51s main
main
October 23, 2023 16:18 4m 51s
Merge pull request #2765 from informalsystems/add-hub-to-release-pipe… docker-container #925: Commit 34ddf5c pushed by shonfeder
October 23, 2023 15:36 4m 37s main
main
October 23, 2023 15:36 4m 37s
Merge pull request #2761 from scala-steward/update/compilerplugin-0.1… docker-container #924: Commit 92b96f5 pushed by shonfeder
October 23, 2023 13:47 6m 8s main
main
October 23, 2023 13:47 6m 8s