Skip to content

Update docs theme and remove docs env pins #584

Update docs theme and remove docs env pins

Update docs theme and remove docs env pins #584

Triggered via pull request October 14, 2025 10:54
Status Cancelled
Total duration 3m 59s
Artifacts

ci.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 6 warnings
build (none)
Process completed with exit code 1.
build (slurm)
Process completed with exit code 1.
build (slurm)
The operation was canceled.
build (slurm)
Canceling since a higher priority waiting request for CI-695 exists
CI
Canceling since a higher priority waiting request for CI-695 exists
build (none)
WARNING conda.cli.main_config:_set_key(451): Key auto_activate_base is an alias of auto_activate; setting value with latter
build (none)
Mamba support is still experimental and can result in differently solved environments!
build (none)
WARNING conda.cli.main_config:_set_key(451): Key auto_activate_base is an alias of auto_activate; setting value with latter
build (none)
/usr/share/miniconda/lib/python3.13/site-packages/conda/base/context.py:211: FutureWarning: Adding 'defaults' to channel list implicitly is deprecated and will be removed in 25.9. To remove this warning, please choose a default channel explicitly with conda's regular configuration system, e.g. by adding 'defaults' to the list of channels: conda config --add channels defaults For more information see https://docs.conda.io/projects/conda/en/stable/user-guide/configuration/use-condarc.html deprecated.topic(
build (pbs)
Failed to remove 'http.https://github.com/.extraheader' from the git config
build (htcondor)
Failed to remove 'http.https://github.com/.extraheader' from the git config