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 #2993 from apalache-mc/gabriela/bat-release-note deploy #1300: Commit 37a09c2 pushed by konnov
September 19, 2024 12:47 16s main
main
September 19, 2024 12:47 16s
Merge pull request #2987 from scala-steward/update/scalacheck-1.18.1 deploy #1299: Commit dcc9564 pushed by konnov
September 18, 2024 16:29 21s main
main
September 18, 2024 16:29 21s
Merge pull request #2986 from scala-steward/update/sbt-1.10.2 deploy #1298: Commit 4d48e34 pushed by konnov
September 18, 2024 15:53 23s main
main
September 18, 2024 15:53 23s
Merge pull request #2984 from scala-steward/update/logback-classic-1.5.8 deploy #1297: Commit f3218fa pushed by konnov
September 18, 2024 15:32 25s main
main
September 18, 2024 15:32 25s
Merge pull request #2982 from scala-steward/update/sbt-scoverage-2.2.0 deploy #1296: Commit ce6028e pushed by konnov
September 6, 2024 21:51 16s main
main
September 6, 2024 21:51 16s
Merge pull request #2983 from apalache-mc/igor/discource-link deploy #1295: Commit ce88ced pushed by konnov
September 6, 2024 20:57 22s main
main
September 6, 2024 20:57 22s
Merge pull request #2980 from apalache-mc/gabriela/bat-file deploy #1294: Commit 078386f pushed by bugarela
September 5, 2024 20:42 21s main
main
September 5, 2024 20:42 21s
Merge pull request #2981 from scala-steward/update/ujson-4.0.1 deploy #1293: Commit f84aa99 pushed by konnov
September 5, 2024 19:08 18s main
main
September 5, 2024 19:08 18s
Merge pull request #2979 from apalache-mc/gabriela/update-upickle deploy #1292: Commit f8a8826 pushed by bugarela
September 4, 2024 10:36 21s main
main
September 4, 2024 10:36 21s
Merge pull request #2977 from apalache-mc/release/0.45.4 deploy #1291: Commit 00d502a pushed by konnov
September 2, 2024 14:08 22s main
main
September 2, 2024 14:08 22s
Merge pull request #2963 from scala-steward/update/sbt-scoverage-2.1.1 deploy #1290: Commit 485c41f pushed by konnov
September 2, 2024 13:20 18s main
main
September 2, 2024 13:20 18s
Bogus safety violation checking if a set is a subset of Nat. (#2971) deploy #1289: Commit c69c355 pushed by thpani
September 2, 2024 07:37 21s main
main
September 2, 2024 07:37 21s
Merge pull request #2975 from lemmy/mku-ExprOptimizerSubset deploy #1288: Commit c6f015b pushed by konnov
August 29, 2024 21:33 17s main
main
August 29, 2024 21:33 17s
Merge pull request #2974 from apalache-mc/igor/update-landing-page deploy #1287: Commit e711fb1 pushed by konnov
August 28, 2024 20:24 17s main
main
August 28, 2024 20:24 17s
Merge pull request #2969 from apalache-mc/igor/powset-message deploy #1286: Commit a16432d pushed by konnov
August 25, 2024 19:11 16s main
main
August 25, 2024 19:11 16s
Merge pull request #2966 from apalache-mc/igor/fix-links deploy #1285: Commit 92ce002 pushed by konnov
August 23, 2024 21:30 23s main
main
August 23, 2024 21:30 23s
Merge pull request #2962 from apalache-mc/th/flush-logs deploy #1284: Commit 9c4c03a pushed by konnov
August 23, 2024 19:04 22s main
main
August 23, 2024 19:04 22s
Fix link (#2961) deploy #1283: Commit afd4e4e pushed by thpani
August 23, 2024 18:23 16s main
main
August 23, 2024 18:23 16s
Merge pull request #2958 from lemmy/patch-1 deploy #1282: Commit d2b5cc2 pushed by konnov
August 22, 2024 10:19 21s main
main
August 22, 2024 10:19 21s
Merge pull request #2957 from scala-steward/update/sbt-scoverage-2.1.0 deploy #1281: Commit 4f0b30e pushed by konnov
August 21, 2024 18:13 24s main
main
August 21, 2024 18:13 24s
Merge pull request #2956 from apalache-mc/release/0.45.3 deploy #1280: Commit 74d01ed pushed by konnov
August 21, 2024 09:25 24s main
main
August 21, 2024 09:25 24s
Replaces scope-safe builder usage in Apalache internals with scop-uns… deploy #1279: Commit 5a40de2 pushed by Kukovec
August 21, 2024 08:39 16s main
main
August 21, 2024 08:39 16s
Merge pull request #2955 from apalache-mc/release/0.45.2 deploy #1278: Commit b287556 pushed by konnov
August 19, 2024 21:44 16s main
main
August 19, 2024 21:44 16s
Merge pull request #2954 from gleachkr/patch-1 deploy #1277: Commit 1ba5037 pushed by konnov
August 19, 2024 21:18 22s main
main
August 19, 2024 21:18 22s
Merge pull request #2899 from scala-steward/update/sbt-scoverage-2.0.12 deploy #1276: Commit 3c6c00e pushed by konnov
August 19, 2024 20:18 18s main
main
August 19, 2024 20:18 18s