Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add to_vec(::Thunk) #173

Merged
merged 4 commits into from
Jun 9, 2021
Merged

Add to_vec(::Thunk) #173

merged 4 commits into from
Jun 9, 2021

Conversation

mzgubic
Copy link
Member

@mzgubic mzgubic commented Jun 9, 2021

@mzgubic
Copy link
Member Author

mzgubic commented Jun 9, 2021

Documenter hates me this week. I've tried rerunning but it still complains there is no ChainRulesCore@0.10.3. Do you mind clicking retry on that? That worked a few days ago on a different PR

@simeonschaub
Copy link
Member

I think you might need to update the Manifest.toml in the docs folder.

@mzgubic
Copy link
Member Author

mzgubic commented Jun 9, 2021

Thanks!

simeonschaub added a commit to simeonschaub/PkgTemplates.jl that referenced this pull request Jun 9, 2021
The version of the registry served by PkgServers can sometimes lag a
little bit behind, leading to issues such as in JuliaDiff/FiniteDifferences.jl#173.
The `julia-buildpkg` action actually already does this here:
https://github.com/julia-actions/julia-buildpkg/blob/1b0a69ab74709d3707f86249fce805049212961a/action.yml#L22
simeonschaub added a commit to simeonschaub/PkgTemplates.jl that referenced this pull request Jun 9, 2021
The version of the registry served by PkgServers can sometimes lag a
little bit behind, leading to issues such as in JuliaDiff/FiniteDifferences.jl#173.
The `julia-buildpkg` action actually already does this here:
https://github.com/julia-actions/julia-buildpkg/blob/1b0a69ab74709d3707f86249fce805049212961a/action.yml#L22
@mzgubic mzgubic merged commit e0b3621 into master Jun 9, 2021
@simeonschaub simeonschaub deleted the mz/tovec-thunk branch June 9, 2021 21:54
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