Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update grpc-netty to 1.69.0 build #7115: Pull request #3045 opened by scala-steward
December 11, 2024 14:30 21m 42s scala-steward:update/grpc-netty-1.69.0
scala-steward:update/grpc-netty-1.69.0
December 11, 2024 14:30 21m 42s
Merge pull request #3023 from scala-steward/update/sbt-scoverage-2.2.2 deploy #1330: Commit 5293ae8 pushed by konnov
December 10, 2024 15:45 1m 16s main
main
December 10, 2024 15:45 1m 16s
Merge pull request #3023 from scala-steward/update/sbt-scoverage-2.2.2 Auto-update #760: Commit 5293ae8 pushed by konnov
December 10, 2024 15:45 17s main
main
December 10, 2024 15:45 17s
Update sbt-scoverage to 2.2.2 release #1534: Pull request #3023 closed by konnov
December 10, 2024 15:45 4s scala-steward:update/sbt-scoverage-2.2.2
scala-steward:update/sbt-scoverage-2.2.2
December 10, 2024 15:45 4s
Merge pull request #3023 from scala-steward/update/sbt-scoverage-2.2.2 build #7114: Commit 5293ae8 pushed by konnov
December 10, 2024 15:45 22m 4s main
main
December 10, 2024 15:45 22m 4s
Merge pull request #3023 from scala-steward/update/sbt-scoverage-2.2.2 docker-container #1103: Commit 5293ae8 pushed by konnov
December 10, 2024 15:45 3m 5s main
main
December 10, 2024 15:45 3m 5s
Update sbt-scoverage to 2.2.2 build #7113: Pull request #3023 synchronize by konnov
December 10, 2024 15:22 23m 8s scala-steward:update/sbt-scoverage-2.2.2
scala-steward:update/sbt-scoverage-2.2.2
December 10, 2024 15:22 23m 8s
Update easymock to 5.5.0 release #1533: Pull request #3036 closed by konnov
December 10, 2024 15:21 3s scala-steward:update/easymock-5.5.0
scala-steward:update/easymock-5.5.0
December 10, 2024 15:21 3s
Merge pull request #3036 from scala-steward/update/easymock-5.5.0 deploy #1329: Commit 6534a9d pushed by konnov
December 10, 2024 15:21 33s main
main
December 10, 2024 15:21 33s
Merge pull request #3036 from scala-steward/update/easymock-5.5.0 build #7112: Commit 6534a9d pushed by konnov
December 10, 2024 15:21 21m 53s main
main
December 10, 2024 15:21 21m 53s
Merge pull request #3036 from scala-steward/update/easymock-5.5.0 Auto-update #759: Commit 6534a9d pushed by konnov
December 10, 2024 15:21 2m 39s main
main
December 10, 2024 15:21 2m 39s
Merge pull request #3036 from scala-steward/update/easymock-5.5.0 docker-container #1102: Commit 6534a9d pushed by konnov
December 10, 2024 15:21 3m 26s main
main
December 10, 2024 15:21 3m 26s
Fix conversion of Quint nullary polymorphic operators build #7111: Pull request #3044 synchronize by bugarela
December 10, 2024 12:51 22m 15s gabriela/fix-quint-nullary-polymorphism
gabriela/fix-quint-nullary-polymorphism
December 10, 2024 12:51 22m 15s
Fix conversion of Quint nullary polymorphic operators build #7110: Pull request #3044 opened by bugarela
December 10, 2024 12:49 22m 15s gabriela/fix-quint-nullary-polymorphism
gabriela/fix-quint-nullary-polymorphism
December 10, 2024 12:49 22m 15s
prepare-release prepare-release #297: Manually run by konnov
December 10, 2024 12:31 1m 26s main
main
December 10, 2024 12:31 1m 26s
Update easymock to 5.5.0 build #7109: Pull request #3036 synchronize by konnov
December 5, 2024 11:04 23m 34s scala-steward:update/easymock-5.5.0
scala-steward:update/easymock-5.5.0
December 5, 2024 11:04 23m 34s
Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… docker-container #1101: Commit 975e1ed pushed by bugarela
December 4, 2024 17:05 3m 23s main
main
December 4, 2024 17:05 3m 23s
Quint -> TLA+ transpilation fixes release #1532: Pull request #3041 closed by bugarela
December 4, 2024 17:05 5s gabriela/quint-to-tla-improvements
gabriela/quint-to-tla-improvements
December 4, 2024 17:05 5s
Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… Auto-update #758: Commit 975e1ed pushed by bugarela
December 4, 2024 17:05 14s main
main
December 4, 2024 17:05 14s
Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… deploy #1328: Commit 975e1ed pushed by bugarela
December 4, 2024 17:05 28s main
main
December 4, 2024 17:05 28s
Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… build #7108: Commit 975e1ed pushed by bugarela
December 4, 2024 17:05 22m 0s main
main
December 4, 2024 17:05 22m 0s
Quint -> TLA+ transpilation fixes build #7107: Pull request #3041 synchronize by konnov
December 2, 2024 16:22 24m 50s gabriela/quint-to-tla-improvements
gabriela/quint-to-tla-improvements
December 2, 2024 16:22 24m 50s
Merge pull request #3043 from scala-steward/update/sbt-1.10.6 build #7106: Commit c37f321 pushed by konnov
December 2, 2024 14:17 23m 1s main
main
December 2, 2024 14:17 23m 1s
Merge pull request #3043 from scala-steward/update/sbt-1.10.6 docker-container #1100: Commit c37f321 pushed by konnov
December 2, 2024 14:17 3m 31s main
main
December 2, 2024 14:17 3m 31s
Update sbt, scripted-plugin to 1.10.6 release #1531: Pull request #3043 closed by konnov
December 2, 2024 14:17 4s scala-steward:update/sbt-1.10.6
scala-steward:update/sbt-1.10.6
December 2, 2024 14:17 4s