Skip to content

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

Merge branch 'hidet-org:main' into main

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

Triggered via push January 10, 2024 21:45
Status Skipped
Total duration 3s
Artifacts

lint.yaml

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