Merge pull request #59 from uaenvironment/actions

setting up github proof html action
uaenvironment · Mar 13, 2024 · 172868e · 172868e
2 parents be59d3f + f7a754a
commit 172868e
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/proof-html.yml b/.github/workflows/proof-html.yml
@@ -0,0 +1,11 @@
+name: Proof HTML
+on:
+  push:
+  workflow_dispatch:
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: anishathalye/[email protected]
+        with:
+          directory: ./