Skip to content
Lint

Merge pull request #45 from firedrakeproject/dolci/update_info_authors #54

Sign in to view logs

Merge pull request #45 from firedrakeproject/dolci/update_info_authors

Merge pull request #45 from firedrakeproject/dolci/update_info_authors #54

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run linters
15s
15s