Skip to content

Actions: apalache-mc/apalache

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
923 workflow runs
923 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add source tracking in VCGenerator build #7056: Pull request #3010 synchronize by konnov
October 4, 2024 16:03 21m 6s igor/vcgen-source
igor/vcgen-source
October 4, 2024 16:03 21m 6s
Fixing context disposal vs. statistics thread build #7055: Pull request #3009 synchronize by konnov
October 4, 2024 16:00 21m 14s igor/z3-thread-fix
igor/z3-thread-fix
October 4, 2024 16:00 21m 14s
Merge pull request #3006 from apalache-mc/igor/z3-refactor-toExpr build #7054: Commit 9e9d099 pushed by konnov
October 4, 2024 15:51 21m 16s main
main
October 4, 2024 15:51 21m 16s
add source tracking in VCGenerator build #7053: Pull request #3010 synchronize by konnov
October 4, 2024 07:00 20m 43s igor/vcgen-source
igor/vcgen-source
October 4, 2024 07:00 20m 43s
Fixing context disposal vs. statistics thread build #7052: Pull request #3009 synchronize by konnov
October 4, 2024 06:59 21m 15s igor/z3-thread-fix
igor/z3-thread-fix
October 4, 2024 06:59 21m 15s
refactor: remove repetitive folds in Z3Context build #7051: Pull request #3006 synchronize by coffeeinprogress
October 2, 2024 19:34 20m 44s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
October 2, 2024 19:34 20m 44s
Merge pull request #3003 from scala-steward/update/sbt-scoverage-2.2.1 build #7050: Commit dd37ffa pushed by konnov
October 2, 2024 19:34 21m 23s main
main
October 2, 2024 19:34 21m 23s
Update sbt-scoverage to 2.2.1 build #7049: Pull request #3003 synchronize by coffeeinprogress
October 2, 2024 16:54 23m 26s scala-steward:update/sbt-scoverage-2.2.1
scala-steward:update/sbt-scoverage-2.2.1
October 2, 2024 16:54 23m 26s
refactor: remove repetitive folds in Z3Context build #7048: Pull request #3006 synchronize by coffeeinprogress
October 2, 2024 16:54 20m 28s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
October 2, 2024 16:54 20m 28s
Merge pull request #3013 from apalache-mc/release/0.47.0 build #7047: Commit 782bebd pushed by konnov
October 2, 2024 16:54 21m 17s main
main
October 2, 2024 16:54 21m 17s
[release] 0.47.0 build #7046: Pull request #3013 opened by coffeeinprogress
October 2, 2024 16:25 20m 52s release/0.47.0
release/0.47.0
October 2, 2024 16:25 20m 52s
Update sbt-scoverage to 2.2.1 build #7045: Pull request #3003 synchronize by coffeeinprogress
October 2, 2024 13:32 24m 15s scala-steward:update/sbt-scoverage-2.2.1
scala-steward:update/sbt-scoverage-2.2.1
October 2, 2024 13:32 24m 15s
refactor: remove repetitive folds in Z3Context build #7044: Pull request #3006 synchronize by coffeeinprogress
October 2, 2024 13:32 21m 17s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
October 2, 2024 13:32 21m 17s
Merge pull request #3012 from apalache-mc/igor/z3-downgrade-4.12.6 build #7043: Commit 7ceed59 pushed by konnov
October 2, 2024 13:32 21m 13s main
main
October 2, 2024 13:32 21m 13s
Downgrade Z3 to 4.12.6 build #7042: Pull request #3012 opened by konnov
October 2, 2024 13:10 22m 0s igor/z3-downgrade-4.12.6
igor/z3-downgrade-4.12.6
October 2, 2024 13:10 22m 0s
Update sbt-scoverage to 2.2.1 build #7041: Pull request #3003 synchronize by coffeeinprogress
October 2, 2024 12:42 23m 58s scala-steward:update/sbt-scoverage-2.2.1
scala-steward:update/sbt-scoverage-2.2.1
October 2, 2024 12:42 23m 58s
refactor: remove repetitive folds in Z3Context build #7040: Pull request #3006 synchronize by coffeeinprogress
October 2, 2024 12:42 21m 50s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
October 2, 2024 12:42 21m 50s
Merge pull request #3011 from apalache-mc/release/0.46.2 build #7039: Commit 26a0552 pushed by konnov
October 2, 2024 12:42 21m 24s main
main
October 2, 2024 12:42 21m 24s
[release] 0.46.2 build #7038: Pull request #3011 opened by coffeeinprogress
October 2, 2024 12:21 21m 16s release/0.46.2
release/0.46.2
October 2, 2024 12:21 21m 16s
Update sbt-scoverage to 2.2.1 build #7037: Pull request #3003 synchronize by coffeeinprogress
October 1, 2024 19:09 25m 2s scala-steward:update/sbt-scoverage-2.2.1
scala-steward:update/sbt-scoverage-2.2.1
October 1, 2024 19:09 25m 2s
refactor: remove repetitive folds in Z3Context build #7036: Pull request #3006 synchronize by coffeeinprogress
October 1, 2024 19:09 20m 16s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
October 1, 2024 19:09 20m 16s
Merge pull request #3008 from scala-steward/update/ujson-4.0.2 build #7035: Commit 8c824b0 pushed by konnov
October 1, 2024 19:09 20m 17s main
main
October 1, 2024 19:09 20m 17s
Update ujson, upickle to 4.0.2 build #7034: Pull request #3008 synchronize by konnov
October 1, 2024 18:48 20m 42s scala-steward:update/ujson-4.0.2
scala-steward:update/ujson-4.0.2
October 1, 2024 18:48 20m 42s
Update sbt-scoverage to 2.2.1 build #7033: Pull request #3003 synchronize by konnov
October 1, 2024 16:21 20m 18s scala-steward:update/sbt-scoverage-2.2.1
scala-steward:update/sbt-scoverage-2.2.1
October 1, 2024 16:21 20m 18s
refactor: remove repetitive folds in Z3Context build #7032: Pull request #3006 synchronize by coffeeinprogress
October 1, 2024 14:54 21m 9s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
October 1, 2024 14:54 21m 9s