Skip to content

Adopt minimal proof/exercise styling #1592

Adopt minimal proof/exercise styling

Adopt minimal proof/exercise styling #1592

Triggered via pull request July 9, 2026 00:59
Status Success
Total duration 7m 47s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
preview
`auto-activate-base` is deprecated. Please use `auto-activate`. If your installer does not use the `base` environment as the default environment, also add `activate-environment: base`.
preview
`auto-activate-base` is deprecated. Please use `auto-activate`. If your installer does not use the `base` environment as the default environment, also add `activate-environment: base`.