search

TuringLang / docs

Documentation and tutorials for the Turing language
https://turinglang.org/docs/tutorials/docs-00-getting-started/
MIT License
225 stars 97 forks source link

[UpdateManifests.yml] Update manifest files #387

Closed github-actions[bot] closed 1 year ago

yebai commented 1 year ago

@devmotion, any reason we have to manually update the Manifest file for the introduction tutorial?

devmotion commented 1 year ago

Yeah, probably the same as last week - I assume some package is holding back something and then the Pkg resolver somehow downgrades Turing to remove this dependency and avoid downgrading/older versions of this indirect dependency. Which seems weird to me since it should be possible to use the latest versions of all direct dependencies (apart from Turing, which would be resolved by #379 but I'll probably only have time for digging into the issues there after the submission of my thesis beginning of April). I assumed that upgrading Bijectors to IrrationalConstants 0.2 last week would have solved the issues but apparently not.