Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
991 workflow runs
991 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Propagate z3 parameters in the tuning options build #6977: Pull request #2990 synchronize by konnov
September 18, 2024 14:54 21m 44s igor/z3-params
igor/z3-params
September 18, 2024 14:54 21m 44s
Propagate z3 parameters in the tuning options build #6976: Pull request #2990 synchronize by konnov
September 18, 2024 14:23 20m 56s igor/z3-params
igor/z3-params
September 18, 2024 14:23 20m 56s
Propagate z3 parameters in the tuning options build #6975: Pull request #2990 synchronize by konnov
September 18, 2024 12:41 21m 41s igor/z3-params
igor/z3-params
September 18, 2024 12:41 21m 41s
Propagate z3 parameters in the tuning options build #6974: Pull request #2990 synchronize by konnov
September 18, 2024 12:27 21m 8s igor/z3-params
igor/z3-params
September 18, 2024 12:27 21m 8s
Propagate z3 parameters in the tuning options build #6973: Pull request #2990 opened by konnov
September 18, 2024 12:25 21m 19s igor/z3-params
igor/z3-params
September 18, 2024 12:25 21m 19s
[release] 0.45.5 build #6972: Pull request #2988 opened by coffeeinprogress
September 18, 2024 07:37 21m 15s release/0.45.5
release/0.45.5
September 18, 2024 07:37 21m 15s
Update scalacheck to 1.18.1 build #6971: Pull request #2987 opened by scala-steward
September 16, 2024 15:27 24m 48s scala-steward:update/scalacheck-1.18.1
scala-steward:update/scalacheck-1.18.1
September 16, 2024 15:27 24m 48s
Update sbt to 1.10.2 build #6970: Pull request #2986 opened by scala-steward
September 16, 2024 15:27 25m 2s scala-steward:update/sbt-1.10.2
scala-steward:update/sbt-1.10.2
September 16, 2024 15:27 25m 2s
Update logback-classic, logback-core to 1.5.8 build #6969: Pull request #2984 opened by scala-steward
September 8, 2024 14:42 21m 27s scala-steward:update/logback-classic-1.5.8
scala-steward:update/logback-classic-1.5.8
September 8, 2024 14:42 21m 27s
Merge pull request #2982 from scala-steward/update/sbt-scoverage-2.2.0 build #6968: Commit ce6028e pushed by konnov
September 6, 2024 21:51 22m 8s main
main
September 6, 2024 21:51 22m 8s