Skip to content

Upgrade to build action v3 #11

Upgrade to build action v3

Upgrade to build action v3 #11

Workflow file for this run

name: test
on:
push:
pull_request:
workflow_dispatch:
inputs:
content-vers:
description: "version at which to build"
type: string
default: "WIP"
jobs:
build-test:
runs-on: ubuntu-24.04
steps:
- name: Build
uses: proofscape/pfsc-repo-build-action@v3
with:
pise-vers: 0.30.0
content-vers: ${{inputs.content-vers || 'WIP' }}