Repository navigation

CodeQL Security Analysis

fix(proofs): census reads logical roots from _CoqProject; restore Fil… #369

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
analyze (rust, none)	2m 18s
analyze (actions, none)	29s
	2m 47s