iphydf 6f61de54d3 chore: Add "tcc" and "compcert" compiler targets. ...

It's nice we are able to compile with `tcc`. Let's not break that.
CompCert is also neat, but its interpreter mode doesn't work on tox, so
we only use the compiler.

2021-12-30 23:09:23 +00:00

..

ci.yml

chore: Add "tcc" and "compcert" compiler targets.

2021-12-30 23:09:23 +00:00

coverity-scan.yml

chore: Use an incrementing version number for coverity scans.

2021-12-10 16:53:57 +00:00

docker.yml

chore: Login to dockerhub before trying to push to dockerhub.

2021-12-23 17:26:17 +00:00