Skip to content

Revert "perf: Introduce TypeKey instead of String keys for named type… #557

Revert "perf: Introduce TypeKey instead of String keys for named type…

Revert "perf: Introduce TypeKey instead of String keys for named type… #557

Annotations

1 warning

build

succeeded Jan 22, 2025 in 37s
Set up job
1s
Run actions/checkout@v4
0s
Run cachix/install-nix-action@v12
3s
Run nix-build -A theories coq
32s
Post Run actions/checkout@v4
0s
Complete job
0s