use PlutoUI.details for Foldable (#60) #72
greimelAnnotations
3 warnings
|
build-and-deploy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2, JamesIves/github-pages-deploy-action@releases/v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build-and-deploy
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, julia-actions/setup-julia@v1, actions/cache@v2, JamesIves/github-pages-deploy-action@releases/v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build-and-deploy:
../../../.julia/packages/Pluto/RveGH/src/packages/Packages.jl#L494
Operation failed. Removing Manifest and trying again...
exception =
Unsatisfiable requirements detected for package Statistics [10745b16]:
Statistics [10745b16] log:
├─possible versions are: 1.7.3 or uninstalled
└─restricted to versions 1.10.0 by an explicit requirement — no versions left
|