Renames GitHub workflow files

specs-feup · Aug 22, 2024 · 36fa44f · 36fa44f
1 parent f188b7d
commit 36fa44f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/.github/workflows/ant-main.yml → .github/workflows/main.yml b/.github/workflows/ant-main.yml → .github/workflows/main.yml
diff --git a/.github/workflows/ant-staging.yml → .github/workflows/staging.yml b/.github/workflows/ant-staging.yml → .github/workflows/staging.yml