Skip to content

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

Merge branch 'hidet-org:main' into main

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

Triggered via push January 26, 2024 22:15
Status Skipped
Total duration 2s
Artifacts

lint.yaml

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