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 #3033 from scala-steward/update/sbt-buildinfo-0.13.1 deploy #1325: Commit b58649e pushed by konnov
November 27, 2024 17:06 16s main
main
November 27, 2024 17:06 16s
Merge pull request #3038 from scala-steward/update/commons-io-2.18.0 deploy #1324: Commit 1daa346 pushed by konnov
November 27, 2024 16:45 16s main
main
November 27, 2024 16:45 16s
Merge pull request #3031 from apalache-mc/th/link-discourse deploy #1323: Commit c7d840d pushed by konnov
November 7, 2024 05:03 20s main
main
November 7, 2024 05:03 20s
Merge pull request #3024 from scala-steward/update/logback-classic-1.… deploy #1322: Commit 0c7e251 pushed by konnov
November 7, 2024 04:40 18s main
main
November 7, 2024 04:40 18s
Merge pull request #3030 from scala-steward/update/sbt-1.10.5 deploy #1321: Commit 759b3f4 pushed by konnov
November 7, 2024 02:32 16s main
main
November 7, 2024 02:32 16s
Merge pull request #3026 from scala-steward/update/grpc-netty-1.68.1 deploy #1320: Commit b329285 pushed by konnov
November 4, 2024 13:08 21s main
main
November 4, 2024 13:08 21s
Merge pull request #3028 from nano-o/main deploy #1319: Commit 978f7a5 pushed by konnov
November 4, 2024 12:46 24s main
main
November 4, 2024 12:46 24s
Merge pull request #3029 from scala-steward/update/sbt-buildinfo-0.13.0 deploy #1318: Commit a538a48 pushed by konnov
November 4, 2024 12:24 15s main
main
November 4, 2024 12:24 15s
Merge pull request #3022 from scala-steward/update/sbt-1.10.3 deploy #1317: Commit 29a1527 pushed by konnov
October 22, 2024 13:20 20s main
main
October 22, 2024 13:20 20s
Merge pull request #3010 from apalache-mc/igor/vcgen-source deploy #1316: Commit 270175c pushed by konnov
October 8, 2024 15:05 28s main
main
October 8, 2024 15:05 28s
Merge pull request #3006 from apalache-mc/igor/z3-refactor-toExpr deploy #1315: Commit 9e9d099 pushed by konnov
October 4, 2024 15:51 22s main
main
October 4, 2024 15:51 22s
Merge pull request #3003 from scala-steward/update/sbt-scoverage-2.2.1 deploy #1314: Commit dd37ffa pushed by konnov
October 2, 2024 19:34 23s main
main
October 2, 2024 19:34 23s
Merge pull request #3013 from apalache-mc/release/0.47.0 deploy #1313: Commit 782bebd pushed by konnov
October 2, 2024 16:54 24s main
main
October 2, 2024 16:54 24s
Merge pull request #3012 from apalache-mc/igor/z3-downgrade-4.12.6 deploy #1312: Commit 7ceed59 pushed by konnov
October 2, 2024 13:32 20s main
main
October 2, 2024 13:32 20s
Merge pull request #3011 from apalache-mc/release/0.46.2 deploy #1311: Commit 26a0552 pushed by konnov
October 2, 2024 12:42 23s main
main
October 2, 2024 12:42 23s
Merge pull request #3008 from scala-steward/update/ujson-4.0.2 deploy #1310: Commit 8c824b0 pushed by konnov
October 1, 2024 19:09 22s main
main
October 1, 2024 19:09 22s
Merge pull request #3007 from scala-steward/update/sbt-scalafix-0.13.0 deploy #1309: Commit 97263b5 pushed by konnov
October 1, 2024 14:54 19s main
main
October 1, 2024 14:54 19s
Merge pull request #3005 from apalache-mc/igor/distinct2964 deploy #1308: Commit 2734569 pushed by konnov
September 30, 2024 14:47 17s main
main
September 30, 2024 14:47 17s
Bogus safety violation checking if a set is a subset of Nat. (#2960) deploy #1307: Commit 169d142 pushed by thpani
September 26, 2024 14:00 19s main
main
September 26, 2024 14:00 19s
Merge pull request #3001 from apalache-mc/release/0.46.1 deploy #1306: Commit 0144525 pushed by konnov
September 24, 2024 10:21 22s main
main
September 24, 2024 10:21 22s
Merge pull request #2990 from apalache-mc/igor/z3-params deploy #1305: Commit 9d89eb3 pushed by konnov
September 23, 2024 19:06 19s main
main
September 23, 2024 19:06 19s
Merge pull request #2992 from apalache-mc/igor/z3-stats deploy #1304: Commit 34bdc61 pushed by konnov
September 23, 2024 10:35 19s main
main
September 23, 2024 10:35 19s
Merge pull request #2997 from scala-steward/update/grpc-netty-1.68.0 deploy #1303: Commit 8630a60 pushed by konnov
September 20, 2024 18:56 16s main
main
September 20, 2024 18:56 16s
Merge pull request #2996 from scala-steward/update/commons-io-2.17.0 deploy #1302: Commit 11ea186 pushed by konnov
September 20, 2024 18:33 19s main
main
September 20, 2024 18:33 19s
Merge pull request #2994 from apalache-mc/release/0.45.6 deploy #1301: Commit 9e1b575 pushed by konnov
September 19, 2024 16:16 20s main
main
September 19, 2024 16:16 20s