Skip to content

Actions: informalsystems/apalache

Actions

Auto-update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
auto-update.yml
195 workflow runs
195 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #2583 from scala-steward/update/scalafmt-core-3.7.4 Auto-update #495: Commit a9ec768 pushed by shonfeder
June 2, 2023 18:34 13s main
main
June 2, 2023 18:34 13s
Merge pull request #2572 from informalsystems/quint/896/ignore-runs Auto-update #494: Commit a0e260c pushed by shonfeder
May 30, 2023 19:41 14s main
main
May 30, 2023 19:41 14s
Merge pull request #2576 from scala-steward/update/grpc-netty-1.55.1 Auto-update #493: Commit eab4d23 pushed by shonfeder
May 29, 2023 16:52 13s main
main
May 29, 2023 16:52 13s
Merge pull request #2573 from scala-steward/update/pureconfig-0.17.4 Auto-update #492: Commit cb8c941 pushed by shonfeder
May 29, 2023 16:14 16s main
main
May 29, 2023 16:14 16s
Merge pull request #2571 from informalsystems/release/0.40.0 Auto-update #491: Commit 325f21c pushed by shonfeder
May 27, 2023 00:21 16s main
main
May 27, 2023 00:21 16s
Merge pull request #2567 from informalsystems/quint/896/toplevel-null… Auto-update #490: Commit 7ae8375 pushed by shonfeder
May 25, 2023 15:54 13s main
main
May 25, 2023 15:54 13s
Merge pull request #2569 from informalsystems/th/fix-z3-param-shadow Auto-update #489: Commit b76f39e pushed by thpani
May 25, 2023 15:15 14s main
main
May 25, 2023 15:15 14s
Merge pull request #2568 from informalsystems/th/z3-config-log Auto-update #488: Commit 002eb61 pushed by thpani
May 25, 2023 14:41 14s main
main
May 25, 2023 14:41 14s
Merge pull request #2565 from informalsystems/th/bump-z3 Auto-update #487: Commit ae175f6 pushed by thpani
May 24, 2023 13:15 15s main
main
May 24, 2023 13:15 15s
Prototype implementation of ADR24 (#2554) Auto-update #486: Commit 4853612 pushed by Kukovec
May 22, 2023 12:29 13s main
main
May 22, 2023 12:29 13s
Remove unused code (#2564) Auto-update #485: Commit d286d59 pushed by thpani
May 22, 2023 10:54 14s main
main
May 22, 2023 10:54 14s
Merge pull request #2562 from informalsystems/igor/fix-div-pp Auto-update #484: Commit b2fcebf pushed by konnov
May 19, 2023 13:24 16s main
main
May 19, 2023 13:24 16s
Merge pull request #2550 from informalsystems/1379/core-well-typed-bu… Auto-update #483: Commit 4c0875e pushed by shonfeder
May 12, 2023 16:24 14s main
main
May 12, 2023 16:24 14s
Merge pull request #2546 from scala-steward/update/scala-parser-combi… Auto-update #482: Commit 627144b pushed by shonfeder
May 10, 2023 13:38 52s main
main
May 10, 2023 13:38 52s
ADR24 illustrations (#2557) Auto-update #481: Commit ba583f0 pushed by Kukovec
May 10, 2023 13:02 2m 16s main
main
May 10, 2023 13:02 2m 16s
Merge pull request #2555 from informalsystems/release/0.30.9 Auto-update #480: Commit 05eed2a pushed by shonfeder
May 8, 2023 01:35 15s main
main
May 8, 2023 01:35 15s
Merge pull request #2549 from informalsystems/ro/update_doc Auto-update #479: Commit 80ec2a0 pushed by rodrigo7491
May 4, 2023 15:00 16s main
main
May 4, 2023 15:00 16s
Fix for #2551 (#2553) Auto-update #478: Commit e26c8de pushed by Kukovec
May 3, 2023 16:16 13s main
main
May 3, 2023 16:16 13s
Merge pull request #2544 from informalsystems/2542/lost-quint-rec-row… Auto-update #477: Commit e6bf355 pushed by shonfeder
May 2, 2023 20:23 13s main
main
May 2, 2023 20:23 13s
ADR24: Arenas (#2447) Auto-update #476: Commit cfb6174 pushed by Kukovec
April 26, 2023 09:53 19s main
main
April 26, 2023 09:53 19s