cancel redundant CI workflows automatically

[ranocha]

Xref trixi-framework/Trixi.jl#678

[codecov]

Codecov Report

Merging #9 (9415cf3) into main (ceca5f5) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##              main        #9   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            1         1           
  Lines           30        30           
=========================================
  Hits            30        30           

Flag	Coverage Δ
unittests	100.00% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update ceca5f5...9415cf3. Read the comment docs.

[sloede]

Did you leave out Documenter on purpose or by accident?

[ranocha]

Did you leave out Documenter on purpose or by accident?

By accident - should be fixed

[coveralls]

Coverage remained the same at 100.0% when pulling 9415cf3 on ranocha-patch-1 into ceca5f5 on main.

[coveralls]

Coverage remained the same at 100.0% when pulling 9415cf3 on ranocha-patch-1 into ceca5f5 on main.

[coveralls]

coverage: 100.0%. remained the same
when pulling 9415cf3 on ranocha-patch-1
into ceca5f5 on main.