Merge pull request #385 from Nadrieril/ci #1611
ci.yml
on: push
nix
14s
lean
12m 55s
charon-pin-is-forward
2m 10s
charon-pin-is-merged
7s
userdocs
27s