Skip to content
Linting

Merge pull request #257 from Tom-Hubrecht/array-api #163

Sign in to view logs

Merge pull request #257 from Tom-Hubrecht/array-api

Merge pull request #257 from Tom-Hubrecht/array-api #163

Triggered via push January 31, 2025 19:55
@oscarbenjaminoscarbenjamin
pushed 9b00a9d
main
Status Success
Total duration 27s
Artifacts –

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in