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 #2867 from informalsystems/release/0.44.8 docker-container #993: Commit 8366559 pushed by bugarela
March 20, 2024 11:46 4m 37s main
main
March 20, 2024 11:46 4m 37s
Merge pull request #2866 from informalsystems/gabriela/release-note-s… docker-container #992: Commit 656a8c9 pushed by bugarela
March 19, 2024 20:50 3m 9s main
main
March 19, 2024 20:50 3m 9s
Merge pull request #2860 from informalsystems/2858/sanitize-when-pret… docker-container #991: Commit 291027c pushed by shonfeder
March 19, 2024 19:58 3m 15s main
main
March 19, 2024 19:58 3m 15s
Merge pull request #2859 from informalsystems/add-variants-to-extends docker-container #990: Commit 456a572 pushed by shonfeder
March 14, 2024 02:41 3m 12s main
main
March 14, 2024 02:41 3m 12s
Merge pull request #2856 from informalsystems/gabriela/fix-quint-type… docker-container #989: Commit dd1fef9 pushed by bugarela
March 8, 2024 22:15 2m 57s main
main
March 8, 2024 22:15 2m 57s
Merge pull request #2855 from informalsystems/update-flake docker-container #988: Commit 811b480 pushed by bugarela
March 8, 2024 12:24 3m 9s main
main
March 8, 2024 12:24 3m 9s
Merge pull request #2854 from informalsystems/update-sbt docker-container #987: Commit c518278 pushed by shonfeder
March 7, 2024 20:05 3m 17s main
main
March 7, 2024 20:05 3m 17s
v0.44.7 docker-container #986: Release v0.44.7 published by apalache-bot
March 7, 2024 15:29 3m 47s
March 7, 2024 15:29 3m 47s
Merge pull request #2853 from informalsystems/release/0.44.7 docker-container #985: Commit 57d7460 pushed by shonfeder
March 7, 2024 15:25 3m 8s main
main
March 7, 2024 15:25 3m 8s
Merge pull request #2852 from informalsystems/2851/shai/tla-reply-simple docker-container #984: Commit 2bb735c pushed by shonfeder
March 7, 2024 12:05 3m 22s main
main
March 7, 2024 12:05 3m 22s
Merge pull request #2850 from scala-steward/update/logback-classic-1.5.3 docker-container #983: Commit edbd761 pushed by shonfeder
March 4, 2024 19:45 3m 15s main
main
March 4, 2024 19:45 3m 15s
v0.44.6 docker-container #982: Release v0.44.6 published by apalache-bot
March 4, 2024 18:11 3m 22s
March 4, 2024 18:11 3m 22s
Merge pull request #2849 from informalsystems/release/0.44.6 docker-container #981: Commit 23dfad9 pushed by shonfeder
March 4, 2024 18:08 3m 6s main
main
March 4, 2024 18:08 3m 6s
Merge pull request #2848 from informalsystems/update-changelog docker-container #980: Commit a65de50 pushed by shonfeder
March 4, 2024 17:38 2m 58s main
main
March 4, 2024 17:38 2m 58s
Merge pull request #2845 from scala-steward/update/sbt-scalafix-0.12.0 docker-container #979: Commit 6c72f4a pushed by shonfeder
March 4, 2024 17:00 3m 12s main
main
March 4, 2024 17:00 3m 12s
Merge pull request #2847 from informalsystems/gabriela/increase-grpc-… docker-container #978: Commit ff65943 pushed by shonfeder
March 4, 2024 13:51 3m 14s main
main
March 4, 2024 13:51 3m 14s
Merge pull request #2844 from scala-steward/update/logback-classic-1.5.1 docker-container #977: Commit c3df3a9 pushed by shonfeder
February 29, 2024 17:59 3m 46s main
main
February 29, 2024 17:59 3m 46s
Merge pull request #2843 from scala-steward/update/scala-library-2.13.13 docker-container #976: Commit ed44354 pushed by shonfeder
February 27, 2024 23:11 3m 35s main
main
February 27, 2024 23:11 3m 35s
Merge pull request #2842 from scala-steward/update/grpc-netty-1.62.2 docker-container #975: Commit da4f964 pushed by shonfeder
February 27, 2024 22:49 3m 48s main
main
February 27, 2024 22:49 3m 48s
Merge pull request #2839 from scala-steward/update/ujson-3.2.0 docker-container #974: Commit 0afa6ac pushed by shonfeder
February 26, 2024 15:11 3m 35s main
main
February 26, 2024 15:11 3m 35s
Merge pull request #2840 from scala-steward/update/sbt-scoverage-2.0.11 docker-container #973: Commit 505d5a6 pushed by shonfeder
February 26, 2024 14:37 3m 34s main
main
February 26, 2024 14:37 3m 34s
Merge pull request #2838 from scala-steward/update/pureconfig-0.17.6 docker-container #972: Commit 03db5c9 pushed by shonfeder
February 26, 2024 14:13 3m 6s main
main
February 26, 2024 14:13 3m 6s
Merge pull request #2835 from scala-steward/update/sbt-scoverage-2.0.10 docker-container #971: Commit e4766aa pushed by shonfeder
February 23, 2024 18:22 3m 12s main
main
February 23, 2024 18:22 3m 12s
Merge pull request #2831 from scala-steward/update/ujson-3.1.5 docker-container #970: Commit 580e6a5 pushed by shonfeder
February 23, 2024 17:47 3m 13s main
main
February 23, 2024 17:47 3m 13s
Merge pull request #2836 from scala-steward/update/slf4j-api-2.0.12 docker-container #969: Commit 3246fca pushed by shonfeder
February 23, 2024 16:05 3m 6s main
main
February 23, 2024 16:05 3m 6s