Skip to content
Back to pull request #778

Clean up the linted source #1801

Sign in to view logs

Clean up the linted source

Clean up the linted source #1801

Annotations

1 warning

Github (ubuntu, no-mpi, single, no-debug, false)

Github (ubuntu, no-mpi, single, no-debug, false)
succeeded Dec 29, 2024 in 22m 5s