Skip to content

Rename master with main in github workflows #31

Rename master with main in github workflows

Rename master with main in github workflows #31

Triggered via push January 8, 2024 14:11
Status Success
Total duration 5m 0s
Artifacts

benchmark.yml

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