Fix deadlock risks in RunProgram/Runner; add const for ActiveHDL dir;… #297
Workflow file for this run
This file contains hidden or 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: Build on Push | |
| on: | |
| push: # On push to any branch | |
| workflow_dispatch: # Allow manual trigger | |
| schedule: # 5PM UTC every Monday | |
| - cron: '0 17 * * 1' | |
| jobs: | |
| # Calls the reusable build workflow to build, test, and generate documentation | |
| # for the current push version. | |
| build: | |
| name: Build | |
| permissions: | |
| actions: read | |
| contents: read | |
| pull-requests: write | |
| security-events: write | |
| uses: ./.github/workflows/build.yaml | |
| with: | |
| version: 0.0.0-run.${{ github.run_number }} | |
| secrets: | |
| SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }} |