bjorn3 4ca3384db6 Make it possible to enable the verifier in release mode		2021-03-06 15:33:47 +01:00
..
bootstrap_rustc.yml	Revert "Use the new component dependency option of the rust-toolchain file"	2020-11-27 18:05:05 +01:00
main.yml	Make it possible to enable the verifier in release mode	2021-03-06 15:33:47 +01:00