Skip to content
CI

Merge pull request #22 from cr1901/update-yosys-2024-05-01-next #87

Sign in to view logs

Merge pull request #22 from cr1901/update-yosys-2024-05-01-next

Merge pull request #22 from cr1901/update-yosys-2024-05-01-next #87

Run time

Learn about OS pricing on GitHub Actions
Job Run time
RISC-V Formal Check
30m 43s
Basic CI Check (ubuntu-latest)
2m 46s
RISCOF Check
7m 24s
40m 53s