Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2992 from apalache-mc/igor/z3-stats build #7005: Commit 34bdc61 pushed by konnov
21m 25s main
main
21m 25s
Periodically print Z3 statistics release #1501: Pull request #2992 closed by konnov
3s igor/z3-stats
igor/z3-stats
3s
Merge pull request #2992 from apalache-mc/igor/z3-stats deploy #1304: Commit 34bdc61 pushed by konnov
19s main
main
19s
Merge pull request #2992 from apalache-mc/igor/z3-stats docker-container #1074: Commit 34bdc61 pushed by konnov
3m 1s main
main
3m 1s
Merge pull request #2992 from apalache-mc/igor/z3-stats Auto-update #734: Commit 34bdc61 pushed by konnov
15s main
main
15s
Periodically print Z3 statistics build #7004: Pull request #2992 synchronize by konnov
20m 58s igor/z3-stats
igor/z3-stats
20m 58s
Update z3-turnkey to 4.13.0.1 build #7003: Pull request #2998 opened by scala-steward
21m 0s scala-steward:update/z3-turnkey-4.13.0.1
scala-steward:update/z3-turnkey-4.13.0.1
21m 0s
Periodically print Z3 statistics build #7002: Pull request #2992 synchronize by konnov
20m 40s igor/z3-stats
igor/z3-stats
20m 40s
Periodically print Z3 statistics build #7001: Pull request #2992 synchronize by konnov
21m 4s igor/z3-stats
igor/z3-stats
21m 4s
Periodically print Z3 statistics build #7000: Pull request #2992 synchronize by konnov
22m 4s igor/z3-stats
igor/z3-stats
22m 4s
Update grpc-netty to 1.68.0 release #1500: Pull request #2997 closed by konnov
3s scala-steward:update/grpc-netty-1.68.0
scala-steward:update/grpc-netty-1.68.0
3s
Merge pull request #2997 from scala-steward/update/grpc-netty-1.68.0 build #6999: Commit 8630a60 pushed by konnov
21m 8s main
main
21m 8s
Merge pull request #2997 from scala-steward/update/grpc-netty-1.68.0 docker-container #1073: Commit 8630a60 pushed by konnov
2m 58s main
main
2m 58s
Merge pull request #2997 from scala-steward/update/grpc-netty-1.68.0 Auto-update #733: Commit 8630a60 pushed by konnov
16s main
main
16s
Merge pull request #2997 from scala-steward/update/grpc-netty-1.68.0 deploy #1303: Commit 8630a60 pushed by konnov
16s main
main
16s
Update grpc-netty to 1.68.0 build #6998: Pull request #2997 synchronize by konnov
21m 31s scala-steward:update/grpc-netty-1.68.0
scala-steward:update/grpc-netty-1.68.0
21m 31s
Update commons-io to 2.17.0 release #1499: Pull request #2996 closed by konnov
4s scala-steward:update/commons-io-2.17.0
scala-steward:update/commons-io-2.17.0
4s
Merge pull request #2996 from scala-steward/update/commons-io-2.17.0 Auto-update #732: Commit 11ea186 pushed by konnov
15s main
main
15s
Merge pull request #2996 from scala-steward/update/commons-io-2.17.0 deploy #1302: Commit 11ea186 pushed by konnov
19s main
main
19s
Merge pull request #2996 from scala-steward/update/commons-io-2.17.0 docker-container #1072: Commit 11ea186 pushed by konnov
3m 11s main
main
3m 11s
Merge pull request #2996 from scala-steward/update/commons-io-2.17.0 build #6997: Commit 11ea186 pushed by konnov
21m 29s main
main
21m 29s
Update grpc-netty to 1.68.0 build #6996: Pull request #2997 opened by scala-steward
21m 48s scala-steward:update/grpc-netty-1.68.0
scala-steward:update/grpc-netty-1.68.0
21m 48s
Update commons-io to 2.17.0 build #6995: Pull request #2996 opened by scala-steward
21m 3s scala-steward:update/commons-io-2.17.0
scala-steward:update/commons-io-2.17.0
21m 3s
v0.45.6 docker-container #1071: Release v0.45.6 published by coffeeinprogress
3m 41s
3m 41s
Merge pull request #2994 from apalache-mc/release/0.45.6 docker-container #1070: Commit 9e1b575 pushed by konnov
3m 6s main
main
3m 6s
ProTip! You can narrow down the results and go further in time using created:<2024-09-19 or the other filters available.