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 ujson, upickle to 3.3.1 build #6917: Pull request #2905 synchronize by coffeeinprogress
August 23, 2024 19:04 22m 18s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 23, 2024 19:04 22m 18s
Merge pull request #2962 from apalache-mc/th/flush-logs build #6916: Commit 9c4c03a pushed by konnov
August 23, 2024 19:04 21m 25s main
main
August 23, 2024 19:04 21m 25s
Flush SMT logs and SMT profiling logs before (check-sat) build #6915: Pull request #2962 synchronize by konnov
August 23, 2024 18:31 21m 50s th/flush-logs
th/flush-logs
August 23, 2024 18:31 21m 50s
Update ujson, upickle to 3.3.1 build #6914: Pull request #2905 synchronize by coffeeinprogress
August 23, 2024 18:24 22m 38s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 23, 2024 18:24 22m 38s
Fix link (#2961) build #6913: Commit afd4e4e pushed by thpani
August 23, 2024 18:23 22m 17s main
main
August 23, 2024 18:23 22m 17s
Update sbt-scoverage to 2.1.1 build #6912: Pull request #2963 opened by scala-steward
August 23, 2024 14:51 21m 59s scala-steward:update/sbt-scoverage-2.1.1
scala-steward:update/sbt-scoverage-2.1.1
August 23, 2024 14:51 21m 59s
Flush SMT logs and SMT profiling logs before (check-sat) build #6911: Pull request #2962 synchronize by thpani
August 23, 2024 14:14 21m 52s th/flush-logs
th/flush-logs
August 23, 2024 14:14 21m 52s
Flush SMT logs and SMT profiling logs before (check-sat) build #6910: Pull request #2962 opened by thpani
August 23, 2024 14:12 22m 30s th/flush-logs
th/flush-logs
August 23, 2024 14:12 22m 30s
Fix link in README.md build #6909: Pull request #2961 opened by thpani
August 23, 2024 14:04 21m 48s th/fix-link
th/fix-link
August 23, 2024 14:04 21m 48s
Bogus safety violation checking if a set is a subset of Nat. build #6908: Pull request #2960 synchronize by lemmy
August 22, 2024 18:23 22m 2s lemmy:mku-gh2948
lemmy:mku-gh2948
August 22, 2024 18:23 22m 2s
Bogus safety violation checking if a set is a subset of Nat. build #6907: Pull request #2960 opened by lemmy
August 22, 2024 14:30 22m 23s lemmy:mku-gh2948
lemmy:mku-gh2948
August 22, 2024 14:30 22m 23s
Update ujson, upickle to 3.3.1 build #6906: Pull request #2905 synchronize by coffeeinprogress
August 22, 2024 10:19 21m 54s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 22, 2024 10:19 21m 54s
Merge pull request #2958 from lemmy/patch-1 build #6905: Commit d2b5cc2 pushed by konnov
August 22, 2024 10:19 21m 52s main
main
August 22, 2024 10:19 21m 52s
Fix bogus comment in SetMembershipSimplifier build #6904: Pull request #2958 opened by lemmy
August 21, 2024 21:45 22m 7s lemmy:patch-1
lemmy:patch-1
August 21, 2024 21:45 22m 7s
Update ujson, upickle to 3.3.1 build #6903: Pull request #2905 synchronize by coffeeinprogress
August 21, 2024 18:14 21m 49s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 21, 2024 18:14 21m 49s
Merge pull request #2957 from scala-steward/update/sbt-scoverage-2.1.0 build #6902: Commit 4f0b30e pushed by konnov
August 21, 2024 18:13 22m 16s main
main
August 21, 2024 18:13 22m 16s
Update sbt-scoverage to 2.1.0 build #6901: Pull request #2957 opened by scala-steward
August 21, 2024 15:58 21m 37s scala-steward:update/sbt-scoverage-2.1.0
scala-steward:update/sbt-scoverage-2.1.0
August 21, 2024 15:58 21m 37s
Update ujson, upickle to 3.3.1 build #6900: Pull request #2905 synchronize by coffeeinprogress
August 21, 2024 09:25 21m 29s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 21, 2024 09:25 21m 29s
Merge pull request #2956 from apalache-mc/release/0.45.3 build #6899: Commit 74d01ed pushed by konnov
August 21, 2024 09:25 21m 47s main
main
August 21, 2024 09:25 21m 47s
[release] 0.45.3 build #6898: Pull request #2956 opened by coffeeinprogress
August 21, 2024 09:03 21m 39s release/0.45.3
release/0.45.3
August 21, 2024 09:03 21m 39s
Update ujson, upickle to 3.3.1 build #6897: Pull request #2905 synchronize by coffeeinprogress
August 21, 2024 08:39 21m 49s scala-steward:update/ujson-3.3.1
scala-steward:update/ujson-3.3.1
August 21, 2024 08:39 21m 49s
Replaces scope-safe builder usage in Apalache internals with scop-uns… build #6896: Commit 5a40de2 pushed by Kukovec
August 21, 2024 08:39 21m 32s main
main
August 21, 2024 08:39 21m 32s
Replaces scope-safe builder usage in Apalache internals with scop-unsafe builder usage build #6895: Pull request #2935 synchronize by Kukovec
August 21, 2024 08:17 22m 1s jk/noStateTinSMT
jk/noStateTinSMT
August 21, 2024 08:17 22m 1s
Replaces scope-safe builder usage in Apalache internals with scop-unsafe builder usage build #6894: Pull request #2935 synchronize by konnov
August 21, 2024 07:55 22m 4s jk/noStateTinSMT
jk/noStateTinSMT
August 21, 2024 07:55 22m 4s
Update sbt-assembly to 2.2.0 build #6893: Pull request #2861 synchronize by konnov
August 21, 2024 07:55 3m 17s scala-steward:update/sbt-assembly-2.2.0
scala-steward:update/sbt-assembly-2.2.0
August 21, 2024 07:55 3m 17s