F* nightly build #3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: F* nightly build | |
| # For this to work, there must a repo called FStar-nightly | |
| # in the same org as FStar, and a DZOMO_GITHUB_TOKEN secret configured | |
| # in the FStar repo that has write access to FStar-nightly (i.e. 'Contents' | |
| # permission), *AND* also workflow access (or you'll get "Refusing to | |
| # allow a Personal Access Token to create or update workflow"). | |
| # | |
| # The default GITHUB_TOKEN only allows access to the current repo, so it's | |
| # not useful. | |
| on: | |
| schedule: | |
| - cron: '0 0 * * *' | |
| workflow_dispatch: | |
| jobs: | |
| build-all: | |
| uses: ./.github/workflows/build-all.yml | |
| publish: | |
| runs-on: ubuntu-latest | |
| needs: build-all | |
| steps: | |
| - uses: actions/checkout@master | |
| with: | |
| fetch-depth: 0 # full clone, so we can push objects | |
| - name: Set up git | |
| run: | | |
| git config --global user.name "Dzomo, the Everest Yak" | |
| git config --global user.email "[email protected]" | |
| - uses: actions/download-artifact@v4 | |
| with: | |
| path: artifacts | |
| merge-multiple: true | |
| # ^ Download all artifacts into the same dir. | |
| # Each of them is a single file, so no clashes happen. | |
| - name: Publish artifacts in nightly tag | |
| run: | | |
| git config --unset-all http.https://github.com/.extraheader | |
| # ^ https://stackoverflow.com/questions/64374179/how-to-push-to-another-repository-in-github-actions | |
| # We push nightly builds to a different repo (same org) | |
| REPO="${{github.repository}}-nightly" | |
| TAG=nightly-$(date -I) | |
| # Create tag | |
| git tag $TAG ${{github.sha}} | |
| # Add new remote and push tag | |
| git remote add nightly-repo https://${{secrets.DZOMO_GITHUB_TOKEN}}@github.com/$REPO | |
| git push nightly-repo $TAG | |
| # Create release | |
| gh release create -R "$REPO" \ | |
| --generate-notes \ | |
| --target ${{ github.sha }} \ | |
| $TAG artifacts/* | |
| env: | |
| GH_TOKEN: ${{ secrets.DZOMO_GITHUB_TOKEN }} |