Skip to content

Defects vs subsets (#127) #11

Defects vs subsets (#127)

Defects vs subsets (#127) #11

Workflow file for this run

name: Deploy
on:
push:
tags:
- "*.*.*"
jobs:
build:
uses: ./.github/workflows/build-guidelines.yml
deploy:
needs: build
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Download build artifacts
uses: actions/download-artifact@v4
with:
name: build-artifacts
path: build
- name: Check artifacts
run: |
ls build
ls build/html
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build/html