Closed mkoeppe closed 4 years ago
see comments in the new file .github/workflows/ci-sage.yml. Preview of the CI run: https://github.com/mkoeppe/arb/runs/839286291
.github/workflows/ci-sage.yml
Oops, I forgot about this one. Merging to see how it goes.
CI Sage gives my PR https://github.com/fredrik-johansson/arb/pull/326 a red x did I do something wrong?
see comments in the new file
.github/workflows/ci-sage.yml
. Preview of the CI run: https://github.com/mkoeppe/arb/runs/839286291