Skip to content

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

Merge branch 'hidet-org:main' into main

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

Triggered via push January 18, 2024 16:18
Status Skipped
Total duration 2s
Artifacts

lint.yaml

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