Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Showing runs from all workflows named build
225 workflow run results
225 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SetCtor rule (#2637) build #6062: Commit b24b9b0 pushed by Kukovec
July 7, 2023 11:26 33m 5s main
main
July 7, 2023 11:26 33m 5s
Merge pull request #2638 from informalsystems/release/0.40.7 build #6059: Commit ae3d645 pushed by thpani
July 6, 2023 16:58 28m 37s main
main
July 6, 2023 16:58 28m 37s
Merge pull request #2635 from informalsystems/th/builder-name-unify build #6057: Commit f6bfe31 pushed by thpani
July 6, 2023 14:09 31m 52s main
main
July 6, 2023 14:09 31m 52s
Stratified rules: catch-up refactoring (#2631) build #6054: Commit 5d09cd5 pushed by Kukovec
July 6, 2023 12:56 1h 3m 3s main
main
July 6, 2023 12:56 1h 3m 3s
Merge pull request #2625 from scala-steward/update/grpc-netty-1.56.1 build #6049: Commit 65a968f pushed by thpani
July 6, 2023 12:08 41m 44s main
main
July 6, 2023 12:08 41m 44s
Merge pull request #2632 from scala-steward/update/scalafmt-core-3.7.6 build #6046: Commit 4524178 pushed by thpani
July 6, 2023 10:46 1h 14m 43s main
main
July 6, 2023 10:46 1h 14m 43s
Merge pull request #2634 from informalsystems/th/quint-sparse-tuples build #6039: Commit cc2e718 pushed by thpani
July 6, 2023 10:13 34m 20s main
main
July 6, 2023 10:13 34m 20s
Extend error message (#2633) build #6027: Commit 02d7cd0 pushed by thpani
July 5, 2023 13:04 35m 58s main
main
July 5, 2023 13:04 35m 58s
Merge pull request #2630 from informalsystems/release/0.40.6 build #6020: Commit 191bca0 pushed by thpani
July 4, 2023 12:50 32m 43s main
main
July 4, 2023 12:50 32m 43s
Merge pull request #2628 from informalsystems/th/refactor-quint build #6018: Commit 7f06d16 pushed by thpani
July 4, 2023 09:32 29m 3s main
main
July 4, 2023 09:32 29m 3s
Merge pull request #2624 from informalsystems/release/0.40.5 build #6002: Commit 960c1b6 pushed by shonfeder
July 1, 2023 00:02 33m 23s main
main
July 1, 2023 00:02 33m 23s
Increase max inbound gRPC message size (#2623) build #6000: Commit f9c6084 pushed by thpani
June 30, 2023 15:53 32m 42s main
main
June 30, 2023 15:53 32m 42s
Fix Quint translation of Nat and Int (#2621) build #5996: Commit c2dcffc pushed by thpani
June 30, 2023 12:29 31m 8s main
main
June 30, 2023 12:29 31m 8s
Added unification support for operator application (#2620) build #5992: Commit 17a7181 pushed by Kukovec
June 28, 2023 14:03 40m 39s main
main
June 28, 2023 14:03 40m 39s
Merge pull request #2616 from informalsystems/release/0.40.4 build #5988: Commit dd5fff8 pushed by shonfeder
June 23, 2023 16:00 38m 13s main
main
June 23, 2023 16:00 38m 13s
Add changelog for #2608 (#2615) build #5986: Commit 51fb96d pushed by thpani
June 21, 2023 16:02 40m 51s main
main
June 21, 2023 16:02 40m 51s
Bugfix notes (#2614) build #5984: Commit 3b78fb5 pushed by Kukovec
June 21, 2023 12:45 6h 0m 19s main
main
June 21, 2023 12:45 6h 0m 19s
Replace deprecated sonatype resolver (#2612) build #5982: Commit 41bc03f pushed by thpani
June 21, 2023 10:36 32m 34s main
main
June 21, 2023 10:36 32m 34s
Pointer propagation fix for powerset-cherrypick (#2607) build #5980: Commit 39b23f4 pushed by Kukovec
June 21, 2023 10:04 37m 46s main
main
June 21, 2023 10:04 37m 46s
Prevent shadowing of "_" Quint lambda parameters (#2608) build #5976: Commit bc2f7e1 pushed by thpani
June 21, 2023 09:21 33m 45s main
main
June 21, 2023 09:21 33m 45s
Merge pull request #2609 from informalsystems/th/macos-ci-nix build #5973: Commit 636a704 pushed by thpani
June 21, 2023 08:13 38m 11s main
main
June 21, 2023 08:13 38m 11s
Merge pull request #2605 from informalsystems/release/0.40.3 build #5962: Commit 8e5b9b9 pushed by thpani
June 19, 2023 08:27 39m 21s main
main
June 19, 2023 08:27 39m 21s
Account for predefined set names (#2603) build #5960: Commit 79900a4 pushed by thpani
June 16, 2023 14:47 32m 29s main
main
June 16, 2023 14:47 32m 29s
Consider nullary ops in Quint assume (#2604) build #5958: Commit ed07563 pushed by thpani
June 16, 2023 14:06 43m 17s main
main
June 16, 2023 14:06 43m 17s
Fix argument order of WF/SF in Quint translation (#2602) build #5950: Commit a216642 pushed by thpani
June 16, 2023 10:26 31m 15s main
main
June 16, 2023 10:26 31m 15s