Skip to content

Actions: apalache-mc/apalache

Auto-update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
Auto-update #755: Commit b58649e pushed by konnov
November 27, 2024 17:06 16s main
November 27, 2024 17:06 16s
Merge pull request #3038 from scala-steward/update/commons-io-2.18.0
Auto-update #754: Commit 1daa346 pushed by konnov
November 27, 2024 16:45 14s main
November 27, 2024 16:45 14s
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
September 19, 2024 16:16 15s