Browse Source

Fix EditURL when running with GitHub Actions.

pull/81/head
Fredrik Ekre 6 years ago
parent
commit
cf2b552550
  1. 2
      src/Literate.jl

2
src/Literate.jl

@ -361,7 +361,7 @@ function markdown(inputfile, outputdir; preprocess = identity, postprocess = ide
# run some Documenter specific things # run some Documenter specific things
if documenter if documenter
# change the Edit on GitHub link # change the Edit on GitHub link
repo = get(ENV, "TRAVIS_REPO_SLUG", nothing) repo = get(ENV, "TRAVIS_REPO_SLUG", get(ENV, "GITHUB_REPOSITORY", nothing))
if repo === nothing if repo === nothing
path = "" path = ""
else else

Loading…
Cancel
Save