Remove dependence on a behavior of `CTerm.anti_unify` #4821

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	3m 12s
CSE Tests	20m 38s
Docker Tests	15m 17s
End to End Sanity Tests	14m 40s
Integration Tests (legacy)	26m 24s
Integration Tests (booster)	39m 55s
Nix Tests (ubuntu-latest)	11m 41s
Profiling (legacy)	15m 5s
Unit Tests	3m 2s
Nix Tests (macos-13)	21m 35s
Profiling (booster)	13m 5s
Nix Tests (MacM1)	3m 18s
	3h 7m 52s