ci

Bump verif/core-v-verif from `2cf4b79` to `580ea6f` #1389

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
riscv-tests (asm-tests)	51m 31s
riscv-tests (mul)	16m 41s
riscv-tests (amo)	22m 59s
riscv-tests (fp)	25m 17s
riscv-tests (benchmarks)	18m 29s
	2h 14m 57s