Skip to content

Nightly releases

Nightly releases #12

Workflow file for this run

# This workflow takes care of creating nightly release archives for the
# GAP distribution. It works by tagging the latest master branch as "nightly"
# which then triggers the regular release workflow. Doing it this way ensures
# that everything is as close as possible to a regular release.
name: "Nightly releases"
on:
workflow_dispatch:
schedule:
# Every day at 3:33 AM UTC
- cron: '39 3 * * *'
jobs:
nightly:
runs-on: ubuntu-latest
steps:
# We set up a GitHub App in order to ensure that workflows are run on the PRs
# created by us, following the instructions here:
# <https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#authenticating-with-github-app-generated-tokens>
# The bot can also be set up for personal forks of this repository, for testing
# and debugging, see <https://github.com/apps/gap-package-distribution-bot>.
- uses: actions/create-github-app-token@v1
id: generate-token
with:
app-id: ${{ vars.APP_ID }}
private-key: ${{ secrets.APP_PRIVATE_KEY }}
#- uses: dev-drprasad/[email protected]
# with:
# tag_name: nightly
# github_token: ${{ secrets.GITHUB_TOKEN }}
- uses: actions/checkout@v4
with:
token: ${{ steps.generate-token.outputs.token }}
# Make sure the value of GITHUB_TOKEN will not be persisted in repo's config
persist-credentials: false
- name: "Update nightly tag"
env:
GITHUB_TOKEN: ${{ steps.generate-token.outputs.token }}
run: |
git tag -f nightly
git push -f origin nightly
# - uses: rickstaa/action-create-tag@v1
# id: "tag_create"
# with:
# github_token: ${{ steps.generate-token.outputs.token }}
# tag: "nightly"
# force_push_tag: true
# message: "Nightly build"
#
#