Skip to content
Nix CI

fix: remove unused trace.Elab.syntax option #12384

Sign in to view logs

fix: remove unused trace.Elab.syntax option

fix: remove unused trace.Elab.syntax option #12384

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Linux
13m 28s
13m 28s