Merge pull request #554 from diffblue/ic3-Makefile #1859
pull-request-checks.yaml
on: push
check-ubuntu-20_04-make-gcc
1m 7s
check-ubuntu-20_04-make-clang
1m 20s
CentOS 8
1m 18s
check-macos-12-make-clang
3m 23s