Merge pull request #256 from python-grimp/switch-to-walltime #766
seddonymmain.yml
on: push
Lint and check docs build
1m 21s
benchmarks
4m 10s
Matrix: test