Massimiliano Culpo 00a1418d10 clingo: don't skip tests that deal with file permissions ... When we first merged the ASP-based solver, unit-tests were run in a Docker container with root permissions and that was preventing a few tests to succeed. Since some time though, clingo is tested as a regular user within Github Actions VMs, so we should start to run checks again.		2021-05-08 06:14:44 -07:00
..
spack	clingo: don't skip tests that deal with file permissions	2021-05-08 06:14:44 -07:00