Test PR

Option `--extra-module` for including lemmas modules dynamically in `kontrol prove` #5064

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	3m 0s
Code Quality Checks	3m 0s
CSE Tests	36m 45s
CSE Tests	36m 45s
End to End Sanity Tests	13m 32s
End to End Sanity Tests	13m 32s
Docker Tests	19m 20s
Docker Tests	19m 20s
Integration Tests (legacy)	35m 0s
Integration Tests (legacy)	35m 0s
Nix Tests (ubuntu-latest)	13m 48s
Nix Tests (ubuntu-latest)	13m 48s
Integration Tests (booster)	27m 9s
Integration Tests (booster)	1h 7m 22s
Profiling (legacy)	13m 58s
Profiling (legacy)	13m 58s
Nix Tests (macos-13)	18m 44s
Nix Tests (macos-13)	18m 44s
Unit Tests	2m 51s
Unit Tests	2m 51s
Profiling (booster)	12m 18s
Profiling (booster)	12m 18s
Nix Tests (MacM1)	3m 4s
Nix Tests (MacM1)	3m 4s
	7h 19m 11s