Skip to content

Actions: apalache-mc/apalache

Actions

docker-container

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
container.yml
206 workflow runs
206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3057 from apalache-mc/th/upgrade-z3 docker-container #1118: Commit 512fc1c pushed by thpani
January 4, 2025 08:33 5m 54s main
main
January 4, 2025 08:33 5m 54s
Merge pull request #3045 from scala-steward/update/grpc-netty-1.69.0 docker-container #1117: Commit adc2403 pushed by konnov
December 17, 2024 08:55 5m 46s main
main
December 17, 2024 08:55 5m 46s
v0.47.2 docker-container #1116: Release v0.47.2 published by coffeeinprogress
December 17, 2024 08:23 2m 54s
December 17, 2024 08:23 2m 54s
Merge pull request #3050 from apalache-mc/release/0.47.2 docker-container #1115: Commit a862463 pushed by konnov
December 17, 2024 08:20 3m 7s main
main
December 17, 2024 08:20 3m 7s
install sbt in container.yml docker-container #1114: Commit c864103 pushed by konnov
December 16, 2024 21:12 2m 46s main
main
December 16, 2024 21:12 2m 46s
add sbt in release :facepaaalm docker-container #1113: Commit af3f1e3 pushed by konnov
December 16, 2024 21:07 14s main
main
December 16, 2024 21:07 14s
Merge pull request #3049 from apalache-mc/release/0.47.1 docker-container #1112: Commit f530399 pushed by konnov
December 16, 2024 21:05 15s main
main
December 16, 2024 21:05 15s
fix sbt docker-container #1111: Commit 1c12ee4 pushed by konnov
December 16, 2024 19:46 19s main
main
December 16, 2024 19:46 19s
Merge pull request #3048 from apalache-mc/igor/fix-build docker-container #1110: Commit 00222d0 pushed by konnov
December 16, 2024 15:14 25s main
main
December 16, 2024 15:14 25s
rename sbt to sbtn docker-container #1109: Commit 74fa4e6 pushed by konnov
December 16, 2024 13:37 18s main
main
December 16, 2024 13:37 18s
remove git pull docker-container #1108: Commit 2c19b45 pushed by konnov
December 16, 2024 13:26 20s main
main
December 16, 2024 13:26 20s
add branch docker-container #1107: Commit cbdfc39 pushed by konnov
December 13, 2024 19:51 3m 10s main
main
December 13, 2024 19:51 3m 10s
add git pull docker-container #1106: Commit 7e78e08 pushed by konnov
December 13, 2024 19:17 3m 11s main
main
December 13, 2024 19:17 3m 11s
Merge pull request #3046 from apalache-mc/igor/tmpdir docker-container #1105: Commit 1742832 pushed by konnov
December 13, 2024 18:27 3m 9s main
main
December 13, 2024 18:27 3m 9s
Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… docker-container #1104: Commit 8b661d7 pushed by konnov
December 13, 2024 16:56 5m 40s main
main
December 13, 2024 16:56 5m 40s
Merge pull request #3023 from scala-steward/update/sbt-scoverage-2.2.2 docker-container #1103: Commit 5293ae8 pushed by konnov
December 10, 2024 15:45 3m 5s main
main
December 10, 2024 15:45 3m 5s
Merge pull request #3036 from scala-steward/update/easymock-5.5.0 docker-container #1102: Commit 6534a9d pushed by konnov
December 10, 2024 15:21 3m 26s main
main
December 10, 2024 15:21 3m 26s
Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… docker-container #1101: Commit 975e1ed pushed by bugarela
December 4, 2024 17:05 3m 23s main
main
December 4, 2024 17:05 3m 23s
Merge pull request #3043 from scala-steward/update/sbt-1.10.6 docker-container #1100: Commit c37f321 pushed by konnov
December 2, 2024 14:17 3m 31s main
main
December 2, 2024 14:17 3m 31s
Merge pull request #3042 from scala-steward/update/grpc-netty-1.68.2 docker-container #1099: Commit 4efd0c5 pushed by konnov
December 2, 2024 13:23 3m 51s main
main
December 2, 2024 13:23 3m 51s
Merge pull request #3033 from scala-steward/update/sbt-buildinfo-0.13.1 docker-container #1098: Commit b58649e pushed by konnov
November 27, 2024 17:06 3m 15s main
main
November 27, 2024 17:06 3m 15s
Merge pull request #3038 from scala-steward/update/commons-io-2.18.0 docker-container #1097: Commit 1daa346 pushed by konnov
November 27, 2024 16:45 4m 8s main
main
November 27, 2024 16:45 4m 8s
Merge pull request #3031 from apalache-mc/th/link-discourse docker-container #1096: Commit c7d840d pushed by konnov
November 7, 2024 05:03 3m 4s main
main
November 7, 2024 05:03 3m 4s
Merge pull request #3024 from scala-steward/update/logback-classic-1.… docker-container #1095: Commit 0c7e251 pushed by konnov
November 7, 2024 04:40 3m 3s main
main
November 7, 2024 04:40 3m 3s
Merge pull request #3030 from scala-steward/update/sbt-1.10.5 docker-container #1094: Commit 759b3f4 pushed by konnov
November 7, 2024 02:32 3m 1s main
main
November 7, 2024 02:32 3m 1s