Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
928 workflow runs
928 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[release] 0.45.6 build #6993: Pull request #2994 opened by coffeeinprogress
September 19, 2024 14:06 27m 43s release/0.45.6
release/0.45.6
September 19, 2024 14:06 27m 43s
Merge pull request #2993 from apalache-mc/gabriela/bat-release-note build #6992: Commit 37a09c2 pushed by konnov
September 19, 2024 12:47 21m 54s main
main
September 19, 2024 12:47 21m 54s
Add changelog entry for the new bat file build #6991: Pull request #2993 opened by bugarela
September 19, 2024 12:05 21m 23s gabriela/bat-release-note
gabriela/bat-release-note
September 19, 2024 12:05 21m 23s
Periodically print Z3 statistics build #6990: Pull request #2992 synchronize by konnov
September 19, 2024 11:35 21m 22s igor/z3-stats
igor/z3-stats
September 19, 2024 11:35 21m 22s
Periodically print Z3 statistics build #6989: Pull request #2992 synchronize by konnov
September 19, 2024 11:04 22m 48s igor/z3-stats
igor/z3-stats
September 19, 2024 11:04 22m 48s
Propagate z3 parameters in the tuning options build #6988: Pull request #2990 synchronize by konnov
September 18, 2024 19:54 21m 41s igor/z3-params
igor/z3-params
September 18, 2024 19:54 21m 41s
Periodically print Z3 statistics build #6987: Pull request #2992 synchronize by konnov
September 18, 2024 17:57 21m 44s igor/z3-stats
igor/z3-stats
September 18, 2024 17:57 21m 44s
Periodically print Z3 statistics build #6986: Pull request #2992 synchronize by konnov
September 18, 2024 17:55 22m 26s igor/z3-stats
igor/z3-stats
September 18, 2024 17:55 22m 26s
Periodically print Z3 statistics build #6985: Pull request #2992 opened by konnov
September 18, 2024 17:54 21m 57s igor/z3-stats
igor/z3-stats
September 18, 2024 17:54 21m 57s
Bogus safety violation checking if a set is a subset of Nat. build #6984: Pull request #2960 synchronize by lemmy
September 18, 2024 17:14 22m 43s lemmy:mku-gh2948
lemmy:mku-gh2948
September 18, 2024 17:14 22m 43s
Bogus safety violation checking if a set is a subset of Nat. build #6983: Pull request #2960 synchronize by konnov
September 18, 2024 16:53 21m 11s lemmy:mku-gh2948
lemmy:mku-gh2948
September 18, 2024 16:53 21m 11s
Merge pull request #2987 from scala-steward/update/scalacheck-1.18.1 build #6982: Commit dcc9564 pushed by konnov
September 18, 2024 16:29 21m 49s main
main
September 18, 2024 16:29 21m 49s
Update scalacheck to 1.18.1 build #6981: Pull request #2987 synchronize by konnov
September 18, 2024 16:07 22m 10s scala-steward:update/scalacheck-1.18.1
scala-steward:update/scalacheck-1.18.1
September 18, 2024 16:07 22m 10s
Merge pull request #2986 from scala-steward/update/sbt-1.10.2 build #6980: Commit 4d48e34 pushed by konnov
September 18, 2024 15:53 21m 51s main
main
September 18, 2024 15:53 21m 51s
Update sbt to 1.10.2 build #6979: Pull request #2986 synchronize by konnov
September 18, 2024 15:32 21m 5s scala-steward:update/sbt-1.10.2
scala-steward:update/sbt-1.10.2
September 18, 2024 15:32 21m 5s
Merge pull request #2984 from scala-steward/update/logback-classic-1.5.8 build #6978: Commit f3218fa pushed by konnov
September 18, 2024 15:32 21m 17s main
main
September 18, 2024 15:32 21m 17s