Martin Pulec 94abcab830 gh/scripts/download-gh-asset.sh: use $GITHUB_TOKEN ...

Use $GITHUB_TOKEN if provided (it is in the CI) to get around API rate
limiting (it already is used by the curl calls made by fetch_json
function).

2024-10-09 15:08:49 +02:00

..

scripts

gh/scripts/download-gh-asset.sh: use $GITHUB_TOKEN

2024-10-09 15:08:49 +02:00

workflows

CI mac: use macos-13

2024-09-19 16:18:59 +02:00