Skip to content

Actions: apalache-mc/apalache

Actions

Auto-update

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3057 from apalache-mc/th/upgrade-z3 Auto-update #774: Commit 512fc1c pushed by thpani
January 4, 2025 08:33 13s main
main
January 4, 2025 08:33 13s
Merge pull request #3045 from scala-steward/update/grpc-netty-1.69.0 Auto-update #773: Commit adc2403 pushed by konnov
December 17, 2024 08:55 14s main
main
December 17, 2024 08:55 14s
Merge pull request #3050 from apalache-mc/release/0.47.2 Auto-update #772: Commit a862463 pushed by konnov
December 17, 2024 08:20 14s main
main
December 17, 2024 08:20 14s
install sbt in container.yml Auto-update #771: Commit c864103 pushed by konnov
December 16, 2024 21:12 14s main
main
December 16, 2024 21:12 14s
add sbt in release :facepaaalm Auto-update #770: Commit af3f1e3 pushed by konnov
December 16, 2024 21:07 29s main
main
December 16, 2024 21:07 29s
Merge pull request #3049 from apalache-mc/release/0.47.1 Auto-update #769: Commit f530399 pushed by konnov
December 16, 2024 21:05 14s main
main
December 16, 2024 21:05 14s
fix sbt Auto-update #768: Commit 1c12ee4 pushed by konnov
December 16, 2024 19:46 12s main
main
December 16, 2024 19:46 12s
Merge pull request #3048 from apalache-mc/igor/fix-build Auto-update #767: Commit 00222d0 pushed by konnov
December 16, 2024 15:14 15s main
main
December 16, 2024 15:14 15s
rename sbt to sbtn Auto-update #766: Commit 74fa4e6 pushed by konnov
December 16, 2024 13:37 12s main
main
December 16, 2024 13:37 12s
remove git pull Auto-update #765: Commit 2c19b45 pushed by konnov
December 16, 2024 13:26 12s main
main
December 16, 2024 13:26 12s
add branch Auto-update #764: Commit cbdfc39 pushed by konnov
December 13, 2024 19:51 11s main
main
December 13, 2024 19:51 11s
add git pull Auto-update #763: Commit 7e78e08 pushed by konnov
December 13, 2024 19:17 11s main
main
December 13, 2024 19:17 11s
Merge pull request #3046 from apalache-mc/igor/tmpdir Auto-update #762: Commit 1742832 pushed by konnov
December 13, 2024 18:27 13s main
main
December 13, 2024 18:27 13s
Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… Auto-update #761: Commit 8b661d7 pushed by konnov
December 13, 2024 16:56 2m 36s main
main
December 13, 2024 16:56 2m 36s
Merge pull request #3023 from scala-steward/update/sbt-scoverage-2.2.2 Auto-update #760: Commit 5293ae8 pushed by konnov
December 10, 2024 15:45 17s main
main
December 10, 2024 15:45 17s
Merge pull request #3036 from scala-steward/update/easymock-5.5.0 Auto-update #759: Commit 6534a9d pushed by konnov
December 10, 2024 15:21 2m 39s main
main
December 10, 2024 15:21 2m 39s
Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… Auto-update #758: Commit 975e1ed pushed by bugarela
December 4, 2024 17:05 14s main
main
December 4, 2024 17:05 14s
Merge pull request #3043 from scala-steward/update/sbt-1.10.6 Auto-update #757: Commit c37f321 pushed by konnov
December 2, 2024 14:17 19s main
main
December 2, 2024 14:17 19s
Merge pull request #3042 from scala-steward/update/grpc-netty-1.68.2 Auto-update #756: Commit 4efd0c5 pushed by konnov
December 2, 2024 13:23 15s main
main
December 2, 2024 13:23 15s
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
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
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
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