Skip to content

Conversation

LilithHafner
Copy link
Contributor

Currently, the "edit on github" link at https://docs.julialang.org/en/v1/stdlib/ArgTools/ is broken (JuliaLang/julia#50035). This PR fixes that link. See also: JuliaLang/julia#51375

@codecov
Copy link

codecov bot commented Sep 18, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (9238839) 87.50% compared to head (b33cde9) 87.50%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #34   +/-   ##
=======================================
  Coverage   87.50%   87.50%           
=======================================
  Files           1        1           
  Lines          96       96           
=======================================
  Hits           84       84           
  Misses         12       12           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@LilithHafner
Copy link
Contributor Author

Closing because @mortenpi is in the process of fixing this upstream. Sorry for the noise.

@StefanKarpinski StefanKarpinski merged commit 84ba9e8 into JuliaIO:master Sep 18, 2023
@mortenpi
Copy link

How's this even possible (technically I mean)?

image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants