Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,694 workflow runs
1,694 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update sbt to 1.10.3 release #1518: Pull request #3022 closed by konnov
October 22, 2024 13:20 3s scala-steward:update/sbt-1.10.3
scala-steward:update/sbt-1.10.3
October 22, 2024 13:20 3s
Update sbt-scoverage to 2.2.2 build #7065: Pull request #3023 opened by scala-steward
October 20, 2024 16:51 22m 29s scala-steward:update/sbt-scoverage-2.2.2
scala-steward:update/sbt-scoverage-2.2.2
October 20, 2024 16:51 22m 29s
Update sbt to 1.10.3 build #7064: Pull request #3022 opened by scala-steward
October 20, 2024 16:50 21m 9s scala-steward:update/sbt-1.10.3
scala-steward:update/sbt-1.10.3
October 20, 2024 16:50 21m 9s
Update scala-collection-contrib to 0.4.0 build #7063: Pull request #3021 opened by scala-steward
October 20, 2024 16:50 4m 51s scala-steward:update/scala-collection-contrib-0.4.0
scala-steward:update/scala-collection-contrib-0.4.0
October 20, 2024 16:50 4m 51s
Update logback-classic, logback-core to 1.5.10 release #1517: Pull request #3018 closed by scala-steward
October 16, 2024 16:42 4s scala-steward:update/logback-classic-1.5.10
scala-steward:update/logback-classic-1.5.10
October 16, 2024 16:42 4s
Update logback-classic, logback-core to 1.5.11 build #7062: Pull request #3020 opened by scala-steward
October 16, 2024 16:42 22m 2s scala-steward:update/logback-classic-1.5.11
scala-steward:update/logback-classic-1.5.11
October 16, 2024 16:42 22m 2s
Update logback-classic, logback-core to 1.5.10 build #7061: Pull request #3018 opened by scala-steward
October 12, 2024 15:04 21m 14s scala-steward:update/logback-classic-1.5.10
scala-steward:update/logback-classic-1.5.10
October 12, 2024 15:04 21m 14s
Update logback-classic, logback-core to 1.5.9 release #1516: Pull request #3015 closed by scala-steward
October 12, 2024 15:04 2s scala-steward:update/logback-classic-1.5.9
scala-steward:update/logback-classic-1.5.9
October 12, 2024 15:04 2s
Update zio, zio-test, zio-test-sbt to 2.1.11 build #7060: Pull request #3017 opened by scala-steward
October 10, 2024 16:47 4m 59s scala-steward:update/zio-2.1.11
scala-steward:update/zio-2.1.11
October 10, 2024 16:47 4m 59s
Update sbt-assembly to 2.3.0 build #7059: Pull request #3016 opened by scala-steward
October 8, 2024 16:13 3m 21s scala-steward:update/sbt-assembly-2.3.0
scala-steward:update/sbt-assembly-2.3.0
October 8, 2024 16:13 3m 21s
Update logback-classic, logback-core to 1.5.9 build #7058: Pull request #3015 opened by scala-steward
October 8, 2024 16:12 22m 50s scala-steward:update/logback-classic-1.5.9
scala-steward:update/logback-classic-1.5.9
October 8, 2024 16:12 22m 50s
add source tracking in VCGenerator release #1515: Pull request #3010 closed by konnov
October 8, 2024 15:05 7s igor/vcgen-source
igor/vcgen-source
October 8, 2024 15:05 7s
Merge pull request #3010 from apalache-mc/igor/vcgen-source docker-container #1089: Commit 270175c pushed by konnov
October 8, 2024 15:05 3m 45s main
main
October 8, 2024 15:05 3m 45s
Merge pull request #3010 from apalache-mc/igor/vcgen-source build #7057: Commit 270175c pushed by konnov
October 8, 2024 15:05 20m 16s main
main
October 8, 2024 15:05 20m 16s
Merge pull request #3010 from apalache-mc/igor/vcgen-source Auto-update #746: Commit 270175c pushed by konnov
October 8, 2024 15:05 19s main
main
October 8, 2024 15:05 19s
Merge pull request #3010 from apalache-mc/igor/vcgen-source deploy #1316: Commit 270175c pushed by konnov
October 8, 2024 15:05 28s main
main
October 8, 2024 15:05 28s
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
refactor: remove repetitive folds in Z3Context release #1514: Pull request #3006 closed by konnov
October 4, 2024 15:51 3s igor/z3-refactor-toExpr
igor/z3-refactor-toExpr
October 4, 2024 15:51 3s
Merge pull request #3006 from apalache-mc/igor/z3-refactor-toExpr Auto-update #745: Commit 9e9d099 pushed by konnov
October 4, 2024 15:51 16s main
main
October 4, 2024 15:51 16s
Merge pull request #3006 from apalache-mc/igor/z3-refactor-toExpr deploy #1315: Commit 9e9d099 pushed by konnov
October 4, 2024 15:51 22s main
main
October 4, 2024 15:51 22s
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
Merge pull request #3006 from apalache-mc/igor/z3-refactor-toExpr docker-container #1088: Commit 9e9d099 pushed by konnov
October 4, 2024 15:51 3m 47s main
main
October 4, 2024 15:51 3m 47s
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
ProTip! You can narrow down the results and go further in time using created:<2024-10-04 or the other filters available.