Skip to content

Fix Formatter

Fix Formatter #7014

Annotations

2 warnings

K: Nix Build & Test (self-hosted, linux, normal)

succeeded Nov 20, 2024 in 5m 2s
Set up job
2s
Set up runner
1s
Check out code
4s
Upgrade bash
0s
Install Nix
0s
Install Cachix
0s
Build K Framework and push build time dependencies to cachix
4m 3s
Smoke test K
45s
Test K
0s
Post Install Cachix
0s
Post Check out code
0s
Complete runner
0s
Complete job
0s