Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,025 workflow runs
2,025 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3008 from scala-steward/update/ujson-4.0.2 Auto-update #740: Commit 8c824b0 pushed by konnov
October 1, 2024 19:09 33s main
main
October 1, 2024 19:09 33s
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
Merge pull request #3008 from scala-steward/update/ujson-4.0.2 deploy #1310: Commit 8c824b0 pushed by konnov
October 1, 2024 19:09 22s main
main
October 1, 2024 19:09 22s
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
Merge pull request #3007 from scala-steward/update/sbt-scalafix-0.13.0 Auto-update #739: Commit 97263b5 pushed by konnov
October 1, 2024 14:54 14s main
main
October 1, 2024 14:54 14s
Merge pull request #3007 from scala-steward/update/sbt-scalafix-0.13.0 deploy #1309: Commit 97263b5 pushed by konnov
October 1, 2024 14:54 19s main
main
October 1, 2024 14:54 19s
Merge pull request #3007 from scala-steward/update/sbt-scalafix-0.13.0 docker-container #1080: Commit 97263b5 pushed by konnov
October 1, 2024 14:54 3m 12s main
main
October 1, 2024 14:54 3m 12s
Merge pull request #3007 from scala-steward/update/sbt-scalafix-0.13.0 build #7031: Commit 97263b5 pushed by konnov
October 1, 2024 14:54 21m 2s main
main
October 1, 2024 14:54 21m 2s
Update sbt-scalafix to 0.13.0 release #1508: Pull request #3007 closed by konnov
October 1, 2024 14:53 3s scala-steward:update/sbt-scalafix-0.13.0
scala-steward:update/sbt-scalafix-0.13.0
October 1, 2024 14:53 3s
Update sbt-scalafix to 0.13.0 build #7030: Pull request #3007 synchronize by konnov
October 1, 2024 14:32 20m 55s scala-steward:update/sbt-scalafix-0.13.0
scala-steward:update/sbt-scalafix-0.13.0
October 1, 2024 14:32 20m 55s
add source tracking in VCGenerator build #7029: Pull request #3010 synchronize by konnov
September 30, 2024 19:07 44m 50s igor/vcgen-source
igor/vcgen-source
September 30, 2024 19:07 44m 50s
add source tracking in VCGenerator build #7028: Pull request #3010 opened by konnov
September 30, 2024 19:06 45m 22s igor/vcgen-source
igor/vcgen-source
September 30, 2024 19:06 45m 22s
Fixing context disposal vs. statistics thread build #7027: Pull request #3009 synchronize by konnov
September 30, 2024 15:39 23m 21s igor/z3-thread-fix
igor/z3-thread-fix
September 30, 2024 15:39 23m 21s
refactor: remove repetitive folds in Z3Context build #7026: Pull request #3006 synchronize by konnov
September 30, 2024 15:38 22m 44s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
September 30, 2024 15:38 22m 44s
Fixing context disposal vs. statistics thread build #7025: Pull request #3009 synchronize by konnov
September 30, 2024 15:36 21m 31s igor/z3-thread-fix
igor/z3-thread-fix
September 30, 2024 15:36 21m 31s
Fixing context disposal vs. statistics thread build #7024: Pull request #3009 opened by konnov
September 30, 2024 15:35 21m 21s igor/z3-thread-fix
igor/z3-thread-fix
September 30, 2024 15:35 21m 21s
Merge pull request #3005 from apalache-mc/igor/distinct2964 docker-container #1079: Commit 2734569 pushed by konnov
September 30, 2024 14:47 3m 28s main
main
September 30, 2024 14:47 3m 28s
Merge pull request #3005 from apalache-mc/igor/distinct2964 Auto-update #738: Commit 2734569 pushed by konnov
September 30, 2024 14:47 14s main
main
September 30, 2024 14:47 14s
produce true on distinct for less than 2 elements release #1507: Pull request #3005 closed by konnov
September 30, 2024 14:47 4s igor/distinct2964
igor/distinct2964
September 30, 2024 14:47 4s
Merge pull request #3005 from apalache-mc/igor/distinct2964 deploy #1308: Commit 2734569 pushed by konnov
September 30, 2024 14:47 17s main
main
September 30, 2024 14:47 17s
Merge pull request #3005 from apalache-mc/igor/distinct2964 build #7023: Commit 2734569 pushed by konnov
September 30, 2024 14:47 20m 41s main
main
September 30, 2024 14:47 20m 41s
produce true on distinct for less than 2 elements build #7022: Pull request #3005 synchronize by konnov
September 30, 2024 14:26 20m 56s igor/distinct2964
igor/distinct2964
September 30, 2024 14:26 20m 56s
Update ujson, upickle to 4.0.2 build #7021: Pull request #3008 opened by scala-steward
September 28, 2024 17:47 20m 26s scala-steward:update/ujson-4.0.2
scala-steward:update/ujson-4.0.2
September 28, 2024 17:47 20m 26s