Merge pull request #3817 from firedrakeproject/JDBetteridge/merge_pyo… #6573

Sign in to view logs

Triggered via push November 27, 2024 16:10

dham

master

Status Success

Total duration 35s

Artifacts –

lint.yml

on: push

Lint Github actions YAML files

Lint dockerfiles