Script to compare if packages are updated on CI - #733
Conversation
| - run: npm --prefix ci install | ||
| - run: npm --prefix ci run build | ||
| - name: Compare package versions | ||
| run: npm --prefix ci start ${{ secrets.GITHUB_TOKEN }} |
There was a problem hiding this comment.
In my project, I created a personal token. I don't know what's the best approach here. The token needs to have the rights to update the configured (hardcoded) issue.
There was a problem hiding this comment.
..and the GITHUB_TOKEN that we get by default doesn't have that, right?
There was a problem hiding this comment.
It had not the rights to change a comment my user (@andys8) created in this repository (https://github.com/purescript/package-sets), when running as an action in (https://github.com/andys8/purescript-update-package-sets). There might be a change that it has enough when running in the same repository where the comment is. I would give it a try. If it fails, I'd create a personal token, and change the github action to use that one. One could also create a new issue, but doesn't need to. At this point try and error might be faster to get it working :D
1169358 to
fd1dc7f
Compare
fd1dc7f to
7fc5ca7
Compare
| - run: npm --prefix ci install | ||
| - run: npm --prefix ci run build | ||
| - name: Compare package versions | ||
| run: npm --prefix ci start ${{ secrets.GITHUB_TOKEN }} |
There was a problem hiding this comment.
..and the GITHUB_TOKEN that we get by default doesn't have that, right?
Script checks each package if there is a newer version on github. It'll update an issue and open/close its state depending on the result. Related: <https://github.com/andys8/purescript-update-package-sets> <https://github.com/purescript/package-sets/issues/704#issuecomment-707702373>
7fc5ca7 to
6589403
Compare
|
Force pushed the changes and rebased onto |
|
I recently noticed github will stop scheduled jobs for Repositories that have been inactive for 60 days. This wouldn't be the case for this Can I do anything to "push this over the line"? |
|
@andys8 I'm so sorry, I thought we merged this already 😅 🙈 I'll take another quick look and merge this. Thank you again! (for the ping too) |
Was merged into upstream <purescript/package-sets#733>
|
I deprecated the original repository, disabled CI there, and archived it. |
|
Wonderful! Thank you again 😊 |

Script checks each package if there is a newer version on github.
It'll update an issue and open/close its state depending on the result.
Related
Original Repository
https://github.com/andys8/purescript-update-package-sets
Issues
https://github.com/purescript/package-sets/issues/704#issuecomment-707702373