Skip to content

Update munit to 1.0.2 #409

Update munit to 1.0.2

Update munit to 1.0.2 #409

Workflow file for this run

name: Website
on:
push:
branches: [main]
tags: ["*"]
jobs:
publish:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: actions/setup-node@v4
with:
node-version: "16"
- uses: actions/setup-java@v4
with:
java-version: 11
distribution: adopt
- uses: olafurpg/setup-gpg@v3
- run: sbt '++2.12.19; docs/docusaurusPublishGhpages'
env:
GIT_DEPLOY_KEY: ${{ secrets.GIT_DEPLOY_KEY }}
- name: Check git diff
if: ${{ failure() }}
run: git diff