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

Update sbt-scoverage to 2.2.0 build #6967: Pull request #2982 synchronize by konnov
September 6, 2024 21:29 21m 38s scala-steward:update/sbt-scoverage-2.2.0
scala-steward:update/sbt-scoverage-2.2.0
September 6, 2024 21:29 21m 38s
Merge pull request #2983 from apalache-mc/igor/discource-link build #6966: Commit ce88ced pushed by konnov
September 6, 2024 20:57 22m 51s main
main
September 6, 2024 20:57 22m 51s
Update README.md build #6965: Pull request #2983 synchronize by konnov
September 6, 2024 16:43 21m 34s igor/discource-link
igor/discource-link
September 6, 2024 16:43 21m 34s
Update README.md build #6964: Pull request #2983 opened by konnov
September 6, 2024 15:36 22m 10s igor/discource-link
igor/discource-link
September 6, 2024 15:36 22m 10s
Update sbt-scoverage to 2.2.0 build #6963: Pull request #2982 opened by scala-steward
September 6, 2024 15:10 22m 17s scala-steward:update/sbt-scoverage-2.2.0
scala-steward:update/sbt-scoverage-2.2.0
September 6, 2024 15:10 22m 17s
Bogus safety violation checking if a set is a subset of Nat. build #6962: Pull request #2960 synchronize by lemmy
September 6, 2024 01:33 22m 32s lemmy:mku-gh2948
lemmy:mku-gh2948
September 6, 2024 01:33 22m 32s
Merge pull request #2980 from apalache-mc/gabriela/bat-file build #6961: Commit 078386f pushed by bugarela
September 5, 2024 20:42 21m 25s main
main
September 5, 2024 20:42 21m 25s
Bat file to run Apalache on Windows build #6960: Pull request #2980 synchronize by bugarela
September 5, 2024 20:20 21m 55s gabriela/bat-file
gabriela/bat-file
September 5, 2024 20:20 21m 55s
Merge pull request #2981 from scala-steward/update/ujson-4.0.1 build #6959: Commit f84aa99 pushed by konnov
September 5, 2024 19:08 22m 0s main
main
September 5, 2024 19:08 22m 0s
Bat file to run Apalache on Windows build #6958: Pull request #2980 synchronize by bugarela
September 5, 2024 18:16 23m 18s gabriela/bat-file
gabriela/bat-file
September 5, 2024 18:16 23m 18s
Update ujson, upickle to 4.0.1 build #6957: Pull request #2981 opened by scala-steward
September 4, 2024 15:32 22m 5s scala-steward:update/ujson-4.0.1
scala-steward:update/ujson-4.0.1
September 4, 2024 15:32 22m 5s
Bat file to run Apalache on Windows build #6956: Pull request #2980 opened by bugarela
September 4, 2024 11:53 22m 10s gabriela/bat-file
gabriela/bat-file
September 4, 2024 11:53 22m 10s
Merge pull request #2979 from apalache-mc/gabriela/update-upickle build #6955: Commit f8a8826 pushed by bugarela
September 4, 2024 10:36 22m 50s main
main
September 4, 2024 10:36 22m 50s
Update upickle to 4.0.0 and remove unecessary customizations build #6954: Pull request #2979 opened by bugarela
September 3, 2024 20:02 21m 43s gabriela/update-upickle
gabriela/update-upickle
September 3, 2024 20:02 21m 43s
Bogus safety violation checking if a set is a subset of Nat. build #6953: Pull request #2960 synchronize by lemmy
September 2, 2024 14:25 21m 32s lemmy:mku-gh2948
lemmy:mku-gh2948
September 2, 2024 14:25 21m 32s
Update ujson, upickle to 3.3.1 build #6952: Pull request #2905 synchronize by coffeeinprogress
September 2, 2024 14:08 21m 41s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
September 2, 2024 14:08 21m 41s
Merge pull request #2977 from apalache-mc/release/0.45.4 build #6951: Commit 00d502a pushed by konnov
September 2, 2024 14:08 22m 8s main
main
September 2, 2024 14:08 22m 8s
[release] 0.45.4 build #6950: Pull request #2977 opened by coffeeinprogress
September 2, 2024 13:46 22m 2s release/0.45.4
release/0.45.4
September 2, 2024 13:46 22m 2s
Update ujson, upickle to 3.3.1 build #6949: Pull request #2905 synchronize by coffeeinprogress
September 2, 2024 13:20 22m 14s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
September 2, 2024 13:20 22m 14s
Merge pull request #2963 from scala-steward/update/sbt-scoverage-2.1.1 build #6948: Commit 485c41f pushed by konnov
September 2, 2024 13:20 23m 18s main
main
September 2, 2024 13:20 23m 18s
Update sbt-scoverage to 2.1.1 build #6947: Pull request #2963 synchronize by konnov
September 2, 2024 12:57 22m 28s scala-steward:update/sbt-scoverage-2.1.1
scala-steward:update/sbt-scoverage-2.1.1
September 2, 2024 12:57 22m 28s
Update ujson, upickle to 3.3.1 build #6946: Pull request #2905 synchronize by coffeeinprogress
September 2, 2024 07:37 21m 37s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
September 2, 2024 07:37 21m 37s
Bogus safety violation checking if a set is a subset of Nat. (#2971) build #6945: Commit c69c355 pushed by thpani
September 2, 2024 07:37 22m 52s main
main
September 2, 2024 07:37 22m 52s
Bogus safety violation checking if a set is a subset of Nat. build #6944: Pull request #2960 synchronize by lemmy
September 1, 2024 23:33 21m 35s lemmy:mku-gh2948
lemmy:mku-gh2948
September 1, 2024 23:33 21m 35s
Bogus safety violation checking if a set is a subset of Nat. build #6943: Pull request #2971 synchronize by lemmy
September 1, 2024 23:33 21m 47s lemmy:mku-gh2948keramelizer
lemmy:mku-gh2948keramelizer
September 1, 2024 23:33 21m 47s