"More magic"

This commit is contained in:
Toby Jaffey 2025-12-14 02:40:29 +00:00
parent 9483c4ee66
commit e6a77c19c9

View file

@ -8,15 +8,24 @@ permissions:
pages: write pages: write
id-token: write id-token: write
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "pages"
cancel-in-progress: false
jobs: jobs:
test: test:
strategy: strategy:
matrix: matrix:
os: [ubuntu-latest] os: [ubuntu-latest]
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ${{matrix.os}} runs-on: ${{matrix.os}}
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v2 uses: actions/checkout@v4
with: with:
path: uvm32 path: uvm32
- name: Build - name: Build
@ -26,14 +35,13 @@ jobs:
run: make dockerci run: make dockerci
working-directory: uvm32 working-directory: uvm32
- name: Setup Pages - name: Setup Pages
if: github.ref == 'refs/heads/main'
uses: actions/configure-pages@v5 uses: actions/configure-pages@v5
- name: Upload Artifact - name: Upload Artifact
if: github.ref == 'refs/heads/main'
uses: actions/upload-pages-artifact@v3 uses: actions/upload-pages-artifact@v3
with: with:
path: uvm32/test/badge.svg path: uvm32/test/badge.svg
artifact_name: badge.svg artifact_name: badge.svg
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
id: deployment id: deployment
uses: actions/deploy-pages@v3 uses: actions/deploy-pages@v4