gh-actions: Update actions/checkout. Also build on dealii 9.7.1 image. #346
Triggered via pull request
November 24, 2025 09:15
marcfehling
Status
Success
Total duration
38m 40s
Artifacts
–