Skip to content

Commit

Permalink
Update CompatHelper.yml permissions and timing
Browse files Browse the repository at this point in the history
  • Loading branch information
@wzhorton
wzhorton committed May 10, 2023
1 parent 093d200 commit 61e0bbc
Showing 1 changed file with 2 additions and 14 deletions.
16 changes: 2 additions & 14 deletions .github/workflows/CompatHelper.yml
View file
Original file line number Diff line number Diff line change
@@ -1,21 +1,9 @@
name: CompatHelper
on:
schedule:
- cron: 0 0 * * *
- cron: 0 0 * * 5
workflow_dispatch:
permissions:
actions: read
checks: read
contents: write
deployments: read
issues: read
discussions: read
packages: read
pages: read
pull-requests: write
repository-projects: read
security-events: read
statuses: read
permissions: read-all|write-all
jobs:
CompatHelper:
runs-on: ubuntu-latest
Expand Down

5 comments on commit 61e0bbc

@wzhorton
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Error while trying to register: "Tag with name v1.0.3 already exists and points to a different commit"

@wzhorton
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request updated: JuliaRegistries/General/83323

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v1.0.3 -m "<description of version>" 61e0bbcf279af949526f400ff3d4f43ebbc4c9e8
git push origin v1.0.3

@wzhorton
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note to self, don't add a tag until after the commit is fully merged into the registry. I created it too early, which is why I got the errors on this and the previous commit.

Please sign in to comment.