Test PR

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	3m 2s
Docker Tests	19m 37s
CSE Tests	18m 37s
Integration Tests (legacy)	27m 12s
End to End Sanity Tests	15m 58s
Integration Tests (booster)	30m 59s
Profiling (legacy)	14m 24s
Nix Tests (ubuntu-latest)	12m 9s
Nix Tests (macos-13)	19m 17s
Unit Tests	2m 49s
Profiling (booster)	9m 9s
Nix Tests (MacM1)	2m 45s
	2h 55m 58s