Massimiliano Culpo 10695f1ed3 Use kcov from official Ubuntu 20.04 repository (#25385) ... * Ubuntu 20.04 provides kcov, so don't build from source * Use two undocumented options for kcov v3.8		2021-08-19 14:03:10 -07:00
..
bootstrap.yml	Bootstrap clingo from binaries (#22720)	2021-08-18 11:14:02 -07:00
build-containers.yml	Clean Up PR from Container Builder	2021-08-08 07:20:25 -07:00
install_spack.sh	Fix MacOS build tests (#17542)	2020-07-20 17:25:42 -07:00
macos_python.yml	Add testing for Python 3.9 (#19261)	2020-10-11 21:16:00 -07:00
setup_git.sh	Use "fetch-depth: 0" to retrieve all history from remote	2020-07-29 11:23:34 -07:00
unit_tests.yaml	Use kcov from official Ubuntu 20.04 repository (#25385)	2021-08-19 14:03:10 -07:00