Skip to content

Remove redundant ci jobs#197

Merged
alexander-penev merged 1 commit intocompiler-research:mainfrom
mcbarton:Remove-redundant-ci-jobs
Feb 8, 2024
Merged

Remove redundant ci jobs#197
alexander-penev merged 1 commit intocompiler-research:mainfrom
mcbarton:Remove-redundant-ci-jobs

Commits

Commits on Feb 6, 2024