Skip to content

Merge pull request #103 from cryspen/jonas/fix-lint #236

Merge pull request #103 from cryspen/jonas/fix-lint

Merge pull request #103 from cryspen/jonas/fix-lint #236

Triggered via push April 2, 2024 10:10
Status Success
Total duration 22m 59s
Artifacts

ci.yml

on: push
Matrix: test
Matrix: benchmark
Fit to window
Zoom out
Zoom in