Skip to content

build(deps): update dependency tools.aqua:z3-turnkey to v4.13.4 #8096

build(deps): update dependency tools.aqua:z3-turnkey to v4.13.4

build(deps): update dependency tools.aqua:z3-turnkey to v4.13.4 #8096

Annotations

1 warning

Test with coverage

succeeded Dec 18, 2024 in 6m 34s
Set up job
0s
Checkout
3s
Setup env
22s
Time nix setup
39s
Run tests with coverage
5m 23s
Post Setup env
3s
Post Checkout
0s
Complete job
0s