Skip to content
Build and Test HW-CBMC

Merge pull request #377 from diffblue/verilog-use-enum-names #1236

Sign in to view logs

Merge pull request #377 from diffblue/verilog-use-enum-names

Merge pull request #377 from diffblue/verilog-use-enum-names #1236

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-ubuntu-20_04-make-gcc
1m 18s
CentOS 8
1m 12s
check-ubuntu-20_04-make-clang
1m 37s
4m 7s