Fix typo in def. of resolvent set (#15) #35
mfherbstAnnotations
3 warnings
|
build-and-deploy
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3, actions/cache@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:
../../../../../tmp/jl_vwClZH/Manifest.toml#L1
The active manifest file has dependencies that were resolved with a different julia version (1.10.4). Unexpected behavior may occur.
maxlog = 1
|
|
build-and-deploy:
../../../.julia/packages/Pluto/6smog/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.11.0 - 1.11.1 or uninstalled
└─restricted to versions 1.10.0 by an explicit requirement — no versions left
|