Skip to content

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

Merge branch 'hidet-org:main' into main

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

Triggered via push April 4, 2024 00:03
Status Skipped
Total duration 2s
Artifacts

lint.yaml

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