Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
924 workflow runs
924 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

produce true on distinct for less than 2 elements build #7018: Pull request #3005 synchronize by konnov
September 27, 2024 16:00 20m 43s igor/distinct2964
igor/distinct2964
September 27, 2024 16:00 20m 43s
produce true on distinct for less than 2 elements build #7017: Pull request #3005 opened by konnov
September 27, 2024 15:55 20m 11s igor/distinct2964
igor/distinct2964
September 27, 2024 15:55 20m 11s
Update sbt-scoverage to 2.2.1 build #7016: Pull request #3003 opened by scala-steward
September 26, 2024 15:27 20m 50s scala-steward:update/sbt-scoverage-2.2.1
scala-steward:update/sbt-scoverage-2.2.1
September 26, 2024 15:27 20m 50s
Update scala-library to 2.13.15 build #7015: Pull request #3002 opened by scala-steward
September 26, 2024 15:27 21m 10s scala-steward:update/scala-library-2.13.15
scala-steward:update/scala-library-2.13.15
September 26, 2024 15:27 21m 10s
Bogus safety violation checking if a set is a subset of Nat. (#2960) build #7014: Commit 169d142 pushed by thpani
September 26, 2024 14:00 21m 37s main
main
September 26, 2024 14:00 21m 37s
Bogus safety violation checking if a set is a subset of Nat. build #7013: Pull request #2960 synchronize by thpani
September 26, 2024 13:37 22m 51s lemmy:mku-gh2948
lemmy:mku-gh2948
September 26, 2024 13:37 22m 51s
Bogus safety violation checking if a set is a subset of Nat. build #7012: Pull request #2960 synchronize by thpani
September 26, 2024 13:36 21m 35s lemmy:mku-gh2948
lemmy:mku-gh2948
September 26, 2024 13:36 21m 35s
Merge pull request #3001 from apalache-mc/release/0.46.1 build #7011: Commit 0144525 pushed by konnov
September 24, 2024 10:21 21m 38s main
main
September 24, 2024 10:21 21m 38s
[release] 0.46.1 build #7010: Pull request #3001 opened by coffeeinprogress
September 24, 2024 10:00 21m 20s release/0.46.1
release/0.46.1
September 24, 2024 10:00 21m 20s
[release] 0.45.7 build #7009: Pull request #3000 opened by coffeeinprogress
September 24, 2024 09:08 22m 14s release/0.45.7
release/0.45.7
September 24, 2024 09:08 22m 14s
Merge pull request #2990 from apalache-mc/igor/z3-params build #7008: Commit 9d89eb3 pushed by konnov
September 23, 2024 19:06 21m 30s main
main
September 23, 2024 19:06 21m 30s
Propagate z3 parameters in the tuning options build #7007: Pull request #2990 synchronize by konnov
September 23, 2024 18:45 21m 4s igor/z3-params
igor/z3-params
September 23, 2024 18:45 21m 4s
Update z3-turnkey to 4.13.0.1 build #7006: Pull request #2998 synchronize by konnov
September 23, 2024 10:38 22m 1s scala-steward:update/z3-turnkey-4.13.0.1
scala-steward:update/z3-turnkey-4.13.0.1
September 23, 2024 10:38 22m 1s
Merge pull request #2992 from apalache-mc/igor/z3-stats build #7005: Commit 34bdc61 pushed by konnov
September 23, 2024 10:35 21m 25s main
main
September 23, 2024 10:35 21m 25s
Periodically print Z3 statistics build #7004: Pull request #2992 synchronize by konnov
September 23, 2024 08:00 20m 58s igor/z3-stats
igor/z3-stats
September 23, 2024 08:00 20m 58s
Update z3-turnkey to 4.13.0.1 build #7003: Pull request #2998 opened by scala-steward
September 22, 2024 15:06 21m 0s scala-steward:update/z3-turnkey-4.13.0.1
scala-steward:update/z3-turnkey-4.13.0.1
September 22, 2024 15:06 21m 0s
Periodically print Z3 statistics build #7002: Pull request #2992 synchronize by konnov
September 21, 2024 18:54 20m 40s igor/z3-stats
igor/z3-stats
September 21, 2024 18:54 20m 40s
Periodically print Z3 statistics build #7001: Pull request #2992 synchronize by konnov
September 21, 2024 18:19 21m 4s igor/z3-stats
igor/z3-stats
September 21, 2024 18:19 21m 4s
Periodically print Z3 statistics build #7000: Pull request #2992 synchronize by konnov
September 21, 2024 18:18 22m 4s igor/z3-stats
igor/z3-stats
September 21, 2024 18:18 22m 4s
Merge pull request #2997 from scala-steward/update/grpc-netty-1.68.0 build #6999: Commit 8630a60 pushed by konnov
September 20, 2024 18:56 21m 8s main
main
September 20, 2024 18:56 21m 8s
Update grpc-netty to 1.68.0 build #6998: Pull request #2997 synchronize by konnov
September 20, 2024 18:35 21m 31s scala-steward:update/grpc-netty-1.68.0
scala-steward:update/grpc-netty-1.68.0
September 20, 2024 18:35 21m 31s
Merge pull request #2996 from scala-steward/update/commons-io-2.17.0 build #6997: Commit 11ea186 pushed by konnov
September 20, 2024 18:33 21m 29s main
main
September 20, 2024 18:33 21m 29s
Update grpc-netty to 1.68.0 build #6996: Pull request #2997 opened by scala-steward
September 20, 2024 16:54 21m 48s scala-steward:update/grpc-netty-1.68.0
scala-steward:update/grpc-netty-1.68.0
September 20, 2024 16:54 21m 48s
Update commons-io to 2.17.0 build #6995: Pull request #2996 opened by scala-steward
September 20, 2024 16:54 21m 3s scala-steward:update/commons-io-2.17.0
scala-steward:update/commons-io-2.17.0
September 20, 2024 16:54 21m 3s
Merge pull request #2994 from apalache-mc/release/0.45.6 build #6994: Commit 9e1b575 pushed by konnov
September 19, 2024 16:16 21m 55s main
main
September 19, 2024 16:16 21m 55s