Skip to content

Pretty-print SMT queries #157

Pretty-print SMT queries

Pretty-print SMT queries #157

Annotations

1 warning

nix  /  fstar-nix

succeeded Jan 15, 2025 in 18m 55s
Set up job
2s
Run actions/checkout@v4
3s
Run DeterminateSystems/nix-installer-action@main
6s
Run DeterminateSystems/magic-nix-cache-action@main
5s
Build
18m 4s
Post Run DeterminateSystems/magic-nix-cache-action@main
29s
Post Run DeterminateSystems/nix-installer-action@main
1s
Post Run actions/checkout@v4
0s
Complete job
0s