Skip to content

Merge branch 'devel' into pre-commit-ci-update-config #82

Merge branch 'devel' into pre-commit-ci-update-config

Merge branch 'devel' into pre-commit-ci-update-config #82

Triggered via push June 5, 2024 22:59
Status Success
Total duration 1m 9s
Artifacts

benchmark.yml

on: push
Fit to window
Zoom out
Zoom in