Skip to content
This repository has been archived by the owner on Jul 14, 2024. It is now read-only.

Add dependencies for PIE #12

Add dependencies for PIE

Add dependencies for PIE #12

---
name: 'Documentation'
on: # yamllint disable-line rule:truthy
push:
branches:
- main
workflow_dispatch: {} # Allow running this workflow manually (Actions tab)
jobs:
documentation:
uses: metaborg/actions/.github/workflows/mkdocs-material.yaml@main
with:
docs-dir: 'docs'