Skip to content

Merge branch 'hidet-org:main' into main #13

Merge branch 'hidet-org:main' into main

Merge branch 'hidet-org:main' into main #13

Triggered via push July 10, 2024 18:16
Status Skipped
Total duration 4s
Artifacts

lint.yaml

on: push
Matrix: format-and-lint
Fit to window
Zoom out
Zoom in