Skip to content

Pin PISE at 0.30.1 in build action #13

Pin PISE at 0.30.1 in build action

Pin PISE at 0.30.1 in build action #13

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.1
content-vers: ${{inputs.content-vers || 'WIP' }}