Test PR

Add option to automatically generate failing.llvm #10687

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	24s
Unit Tests	0s
Profiling	0s
Nix	0s
Proofs: ${{ matrix.name }}	0s
Conformance Tests	0s
	24s