Skip to content

[ci] fix workflow names#620

Merged
aaronj0 merged 2 commits intocompiler-research:mainfrom
aaronj0:fix-ci-names
Jun 10, 2025
Merged

[ci] fix workflow names#620
aaronj0 merged 2 commits intocompiler-research:mainfrom
aaronj0:fix-ci-names

Commits

Commits on Jun 9, 2025

Commits on Jun 10, 2025