summaryrefslogtreecommitdiff
path: root/.github/workflows/coverage.yml
diff options
context:
space:
mode:
authorNadrieril2020-12-07 19:58:24 +0000
committerNadrieril2020-12-08 20:25:20 +0000
commitb4ebbb2b8851e1f792ea6c01b927b83eddee7c5a (patch)
tree0744f25b5c7e30e3225f8ae4790bd0c2fdccb4e8 /.github/workflows/coverage.yml
parent70508b6a6cff9cd1bb6383be939914edf1fc653a (diff)
tests: add a test that fetches the remote prelude
It's too slow even in release mode.
Diffstat (limited to '.github/workflows/coverage.yml')
0 files changed, 0 insertions, 0 deletions