Skip to content

Actions: apalache-mc/apalache

Actions

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2817 from informalsystems/release/0.44.3 deploy #1198: Commit eed0b45 pushed by shonfeder
January 23, 2024 00:45 22s main
main
January 23, 2024 00:45 22s
Merge pull request #2808 from fan-tom/parse-assume-name deploy #1197: Commit 9deaf3d pushed by shonfeder
January 22, 2024 23:49 18s main
main
January 22, 2024 23:49 18s
Merge pull request #2813 from informalsystems/ro/fix_function_inclusion deploy #1196: Commit 99fb4d2 pushed by rodrigo7491
January 22, 2024 15:23 18s main
main
January 22, 2024 15:23 18s
Merge pull request #2809 from scala-steward/update/pureconfig-0.17.5 deploy #1195: Commit ee9ee3a pushed by shonfeder
January 20, 2024 16:40 16s main
main
January 20, 2024 16:40 16s
Merge pull request #2807 from scala-steward/update/z3-turnkey-4.12.4 deploy #1194: Commit 10dcc1e pushed by shonfeder
January 18, 2024 21:34 23s main
main
January 18, 2024 21:34 23s
Merge pull request #2805 from scala-steward/update/slf4j-api-2.0.11 deploy #1193: Commit f93f962 pushed by shonfeder
January 15, 2024 20:31 17s main
main
January 15, 2024 20:31 17s
Merge pull request #2804 from scala-steward/update/grpc-netty-1.61.0 deploy #1192: Commit 79d6418 pushed by shonfeder
January 15, 2024 20:00 14s main
main
January 15, 2024 20:00 14s
Merge pull request #2801 from scala-steward/update/ujson-3.1.4 deploy #1191: Commit b7730c6 pushed by shonfeder
January 15, 2024 19:39 16s main
main
January 15, 2024 19:39 16s
Merge pull request #2731 from informalsystems/jk/oracles deploy #1190: Commit 70d7f24 pushed by shonfeder
January 3, 2024 21:55 15s main
main
January 3, 2024 21:55 15s
Merge pull request #2787 from scala-steward/update/grpc-netty-1.59.1 deploy #1189: Commit 253f4c4 pushed by shonfeder
January 2, 2024 19:21 16s main
main
January 2, 2024 19:21 16s
Merge pull request #2790 from scala-steward/update/logback-classic-1.… deploy #1188: Commit db70228 pushed by shonfeder
January 2, 2024 18:54 20s main
main
January 2, 2024 18:54 20s
Merge pull request #2791 from scala-steward/update/commons-io-2.15.1 deploy #1187: Commit d093642 pushed by shonfeder
January 2, 2024 18:33 21s main
main
January 2, 2024 18:33 21s
Merge pull request #2793 from informalsystems/release/0.44.2 deploy #1186: Commit acc3840 pushed by shonfeder
December 1, 2023 23:14 17s main
main
December 1, 2023 23:14 17s
Merge pull request #2792 from informalsystems/shon/fix-wildard-match deploy #1185: Commit 67cb5ff pushed by shonfeder
December 1, 2023 22:37 17s main
main
December 1, 2023 22:37 17s
Merge pull request #2789 from informalsystems/release/0.44.1 deploy #1184: Commit 30fe7d4 pushed by shonfeder
December 1, 2023 13:25 25s main
main
December 1, 2023 13:25 25s
Merge pull request #2783 from informalsystems/quint/1034/sum-types deploy #1183: Commit cb437eb pushed by shonfeder
December 1, 2023 01:14 16s main
main
December 1, 2023 01:14 16s
Merge pull request #2786 from scala-steward/update/logback-classic-1.… deploy #1182: Commit 2d9a8e2 pushed by shonfeder
November 29, 2023 23:18 19s main
main
November 29, 2023 23:18 19s
Merge pull request #2785 from informalsystems/th/fix-dispose deploy #1181: Commit 42f2b00 pushed by thpani
November 29, 2023 12:51 26s main
main
November 29, 2023 12:51 26s
Merge pull request #2782 from informalsystems/2774/catch-nonnondet-oneOf deploy #1180: Commit b7cd23e pushed by shonfeder
November 24, 2023 18:00 22s main
main
November 24, 2023 18:00 22s
Upgrade dependencies to Guice 7 (#2781) deploy #1179: Commit c40dc46 pushed by thpani
November 23, 2023 13:02 21s main
main
November 23, 2023 13:02 21s
Merge pull request #2779 from scala-steward/update/scalafmt-core-3.7.17 deploy #1178: Commit eb73de4 pushed by shonfeder
November 20, 2023 21:59 22s main
main
November 20, 2023 21:59 22s
Throw error when attempting to construct a UNION of function sets (#2… deploy #1177: Commit 6576959 pushed by Kukovec
November 14, 2023 14:45 17s main
main
November 14, 2023 14:45 17s
ZipOracle refactor (#2763) deploy #1176: Commit d46cc5e pushed by Kukovec
November 8, 2023 13:55 17s main
main
November 8, 2023 13:55 17s
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 #2768 from scala-steward/update/scalafmt-core-3.7.15 deploy #1174: Commit 8cf34a6 pushed by shonfeder
October 26, 2023 18:57 20s main
main
October 26, 2023 18:57 20s