Skip to content

Actions: apalache-mc/apalache

Actions

Auto-update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
auto-update.yml
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3031 from apalache-mc/th/link-discourse Auto-update #753: Commit c7d840d pushed by konnov
November 7, 2024 05:03 13s main
main
November 7, 2024 05:03 13s
Merge pull request #3024 from scala-steward/update/logback-classic-1.… Auto-update #752: Commit 0c7e251 pushed by konnov
November 7, 2024 04:40 12s main
main
November 7, 2024 04:40 12s
Merge pull request #3030 from scala-steward/update/sbt-1.10.5 Auto-update #751: Commit 759b3f4 pushed by konnov
November 7, 2024 02:32 15s main
main
November 7, 2024 02:32 15s
Merge pull request #3026 from scala-steward/update/grpc-netty-1.68.1 Auto-update #750: Commit b329285 pushed by konnov
November 4, 2024 13:08 14s main
main
November 4, 2024 13:08 14s
Merge pull request #3028 from nano-o/main Auto-update #749: Commit 978f7a5 pushed by konnov
November 4, 2024 12:46 17s main
main
November 4, 2024 12:46 17s
Merge pull request #3029 from scala-steward/update/sbt-buildinfo-0.13.0 Auto-update #748: 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 Auto-update #747: Commit 29a1527 pushed by konnov
October 22, 2024 13:20 18s main
main
October 22, 2024 13:20 18s
Merge pull request #3010 from apalache-mc/igor/vcgen-source Auto-update #746: Commit 270175c pushed by konnov
October 8, 2024 15:05 19s main
main
October 8, 2024 15:05 19s
Merge pull request #3006 from apalache-mc/igor/z3-refactor-toExpr Auto-update #745: Commit 9e9d099 pushed by konnov
October 4, 2024 15:51 16s main
main
October 4, 2024 15:51 16s
Merge pull request #3003 from scala-steward/update/sbt-scoverage-2.2.1 Auto-update #744: Commit dd37ffa pushed by konnov
October 2, 2024 19:34 14s main
main
October 2, 2024 19:34 14s
Merge pull request #3013 from apalache-mc/release/0.47.0 Auto-update #743: Commit 782bebd pushed by konnov
October 2, 2024 16:54 15s main
main
October 2, 2024 16:54 15s
Merge pull request #3012 from apalache-mc/igor/z3-downgrade-4.12.6 Auto-update #742: Commit 7ceed59 pushed by konnov
October 2, 2024 13:32 15s main
main
October 2, 2024 13:32 15s
Merge pull request #3011 from apalache-mc/release/0.46.2 Auto-update #741: Commit 26a0552 pushed by konnov
October 2, 2024 12:42 17s main
main
October 2, 2024 12:42 17s
Merge pull request #3008 from scala-steward/update/ujson-4.0.2 Auto-update #740: Commit 8c824b0 pushed by konnov
October 1, 2024 19:09 33s main
main
October 1, 2024 19:09 33s
Merge pull request #3007 from scala-steward/update/sbt-scalafix-0.13.0 Auto-update #739: Commit 97263b5 pushed by konnov
October 1, 2024 14:54 14s main
main
October 1, 2024 14:54 14s
Merge pull request #3005 from apalache-mc/igor/distinct2964 Auto-update #738: Commit 2734569 pushed by konnov
September 30, 2024 14:47 14s main
main
September 30, 2024 14:47 14s
Bogus safety violation checking if a set is a subset of Nat. (#2960) Auto-update #737: Commit 169d142 pushed by thpani
September 26, 2024 14:00 17s main
main
September 26, 2024 14:00 17s
Merge pull request #3001 from apalache-mc/release/0.46.1 Auto-update #736: Commit 0144525 pushed by konnov
September 24, 2024 10:21 16s main
main
September 24, 2024 10:21 16s
Merge pull request #2990 from apalache-mc/igor/z3-params Auto-update #735: Commit 9d89eb3 pushed by konnov
September 23, 2024 19:06 15s main
main
September 23, 2024 19:06 15s
Merge pull request #2992 from apalache-mc/igor/z3-stats Auto-update #734: Commit 34bdc61 pushed by konnov
September 23, 2024 10:35 15s main
main
September 23, 2024 10:35 15s
Merge pull request #2997 from scala-steward/update/grpc-netty-1.68.0 Auto-update #733: 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 Auto-update #732: Commit 11ea186 pushed by konnov
September 20, 2024 18:33 15s main
main
September 20, 2024 18:33 15s
Merge pull request #2994 from apalache-mc/release/0.45.6 Auto-update #731: Commit 9e1b575 pushed by konnov
September 19, 2024 16:16 15s main
main
September 19, 2024 16:16 15s
Merge pull request #2993 from apalache-mc/gabriela/bat-release-note Auto-update #730: 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 Auto-update #729: Commit dcc9564 pushed by konnov
September 18, 2024 16:29 12s main
main
September 18, 2024 16:29 12s