Skip to content

Update .gitignore to exclude WARP.md #2303

Update .gitignore to exclude WARP.md

Update .gitignore to exclude WARP.md #2303

Triggered via pull request November 10, 2025 22:24
Status Success
Total duration 43m 56s
Artifacts

petsc.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Analyze / Check changes
Unexpected input(s) 'predicate-quantifier', valid inputs are ['token', 'working-directory', 'ref', 'base', 'filters', 'list-files', 'initial-fetch-depth']