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 #2887 from scala-steward/update/z3-turnkey-4.12.6 deploy #1250: Commit 8206471 pushed by konnov
August 14, 2024 07:40 15s main
main
August 14, 2024 07:40 15s
Merge pull request #2916 from konnov/igor/quint-generate deploy #1249: Commit 9e6071b pushed by konnov
August 14, 2024 07:14 16s main
main
August 14, 2024 07:14 16s
Merge pull request #2920 from scala-steward/update/sbt-1.10.1 deploy #1248: Commit 6ba3a45 pushed by konnov
August 13, 2024 22:18 16s main
main
August 13, 2024 22:18 16s
Merge pull request #2928 from scala-steward/update/grpc-netty-1.66.0 deploy #1247: Commit 4dcafd6 pushed by konnov
August 13, 2024 19:00 9m 42s main
main
August 13, 2024 19:00 9m 42s
Merge pull request #2923 from scala-steward/update/scalafmt-core-3.8.3 deploy #1246: Commit 9d07517 pushed by konnov
August 13, 2024 18:59 3m 11s main
main
August 13, 2024 18:59 3m 11s
Merge pull request #2926 from scala-steward/update/easymock-5.4.0 deploy #1245: Commit 5f6d5f4 pushed by konnov
August 13, 2024 18:59 28s main
main
August 13, 2024 18:59 28s
Merge pull request #2922 from apalache-mc/konnov-patch-1 deploy #1244: Commit 298c7f1 pushed by konnov
August 13, 2024 17:26 36s main
main
August 13, 2024 17:26 36s
Merge pull request #2929 from scala-steward/update/slf4j-api-2.0.16 deploy #1243: Commit e46b766 pushed by konnov
August 13, 2024 16:58 16s main
main
August 13, 2024 16:58 16s
Merge pull request #2930 from apalache-mc/igor/repair-ci deploy #1242: Commit c2c0b0f pushed by konnov
August 13, 2024 15:37 28s main
main
August 13, 2024 15:37 28s
Create CONTRIBUTORS.md deploy #1241: Commit ffe8ffa pushed by konnov
July 23, 2024 14:55 23s main
main
July 23, 2024 14:55 23s
Merge pull request #2894 from informalsystems/gabriela/remove-cronjob deploy #1240: Commit 6d69a24 pushed by bugarela
May 6, 2024 13:16 14s main
main
May 6, 2024 13:16 14s
Merge pull request #2893 from informalsystems/release/0.44.11 deploy #1239: Commit 99b93bb pushed by bugarela
May 6, 2024 12:34 15s main
main
May 6, 2024 12:34 15s
Merge pull request #2891 from informalsystems/gabriela/compile-to-tla… deploy #1238: Commit d5dd0ad pushed by bugarela
May 6, 2024 11:37 14s main
main
May 6, 2024 11:37 14s
Merge pull request #2892 from informalsystems/gabriela/fix-ci-macos deploy #1237: Commit 4ae3445 pushed by bugarela
May 6, 2024 11:06 17s main
main
May 6, 2024 11:06 17s
Merge pull request #2874 from informalsystems/release/0.44.10 deploy #1236: Commit 9295b5b pushed by bugarela
March 25, 2024 18:05 19s main
main
March 25, 2024 18:05 19s
Merge pull request #2873 from informalsystems/gabriela/handle-quint-q… deploy #1235: Commit 735f95d pushed by bugarela
March 25, 2024 17:27 20s main
main
March 25, 2024 17:27 20s
Merge pull request #2870 from informalsystems/release/0.44.9 deploy #1234: Commit 27f1885 pushed by bugarela
March 22, 2024 11:24 21s main
main
March 22, 2024 11:24 21s
Merge pull request #2869 from informalsystems/gabriela/empty-tuple-as… deploy #1233: Commit b7a583e pushed by bugarela
March 21, 2024 21:28 23s main
main
March 21, 2024 21:28 23s
Merge pull request #2867 from informalsystems/release/0.44.8 deploy #1232: Commit 8366559 pushed by bugarela
March 20, 2024 11:46 18s main
main
March 20, 2024 11:46 18s
Merge pull request #2866 from informalsystems/gabriela/release-note-s… deploy #1231: Commit 656a8c9 pushed by bugarela
March 19, 2024 20:50 24s main
main
March 19, 2024 20:50 24s
Merge pull request #2860 from informalsystems/2858/sanitize-when-pret… deploy #1230: Commit 291027c pushed by shonfeder
March 19, 2024 19:58 20s main
main
March 19, 2024 19:58 20s
Merge pull request #2859 from informalsystems/add-variants-to-extends deploy #1229: Commit 456a572 pushed by shonfeder
March 14, 2024 02:41 19s main
main
March 14, 2024 02:41 19s
Merge pull request #2856 from informalsystems/gabriela/fix-quint-type… deploy #1228: Commit dd1fef9 pushed by bugarela
March 8, 2024 22:15 22s main
main
March 8, 2024 22:15 22s
Merge pull request #2855 from informalsystems/update-flake deploy #1227: Commit 811b480 pushed by bugarela
March 8, 2024 12:24 15s main
main
March 8, 2024 12:24 15s
Merge pull request #2854 from informalsystems/update-sbt deploy #1226: Commit c518278 pushed by shonfeder
March 7, 2024 20:05 18s main
main
March 7, 2024 20:05 18s