Skip to content
Build and Test HW-CBMC

Merge pull request #363 from diffblue/task-source-location #1174

Sign in to view logs

Merge pull request #363 from diffblue/task-source-location

Merge pull request #363 from diffblue/task-source-location #1174

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-ubuntu-20_04-make-gcc
1m 4s
CentOS 8
1m 4s
check-ubuntu-20_04-make-clang
1m 15s
3m 23s