Skip to content

Use appropriate user in CI to avoid permissions errors on later runs #1237

Use appropriate user in CI to avoid permissions errors on later runs

Use appropriate user in CI to avoid permissions errors on later runs #1237

Triggered via pull request September 5, 2025 13:17
Status Failure
Total duration 3m 54s
Artifacts

pr.yml

on: pull_request
Matrix: test / Build and test Firedrake (Linux)
test  /  Build and test Firedrake (macOS)
0s
test / Build and test Firedrake (macOS)
test  /  Lint codebase
32s
test / Lint codebase
test  /  Deploy GitHub pages (optional)
0s
test / Deploy GitHub pages (optional)
test  /  Upload to PyPI (optional)
0s
test / Upload to PyPI (optional)
test  /  Upload to TestPyPI (optional)
0s
test / Upload to TestPyPI (optional)
Fit to window
Zoom out
Zoom in

Annotations

3 errors
test / Build and test Firedrake (Linux) (complex)
Process completed with exit code 1.
test / Build and test Firedrake (Linux) (complex)
Process completed with exit code 1.
test / Build and test Firedrake (Linux) (default)
Process completed with exit code 1.