mikeslab/Iosevka
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions 1

Merge branch 'dev' into prerelease

Browse source
This commit is contained in:
be5invis 2024-03-09 14:45:12 -08:00
commit fa944ef986
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/pr-target-branch-check.yml vendored
View file

@ -12,8 +12,8 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
target: "dev prerelease"
exclude: "dev prerelease"
target: "main prerelease"
exclude: "main prerelease"
comment: |
Your PR was set to target `main` or `prerelease`.
PRs should be target `dev` instead.