Skip to content

Commit

Permalink
Add .github-workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
gr-im committed Mar 18, 2024
1 parent c04e68e commit 80ddb5b
Showing 1 changed file with 31 additions and 0 deletions.
31 changes: 31 additions & 0 deletions .github/workflows/deploy.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: deploy
on:
push:
branches:
- main

jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2

- name: YOCaml
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 5.1.1
opam-depext-flags: --with-test

- run: opam install . --deps-only --with-doc --with-test
- run: opam exec -- dune build --profile=release
- run: opam exec -- dune exec bin/site.exe -- build

- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
publish_dir: ./_site
external_repository: gr-im/gr-im.github.io
publish_branch: master
enable_jekyll: false

0 comments on commit 80ddb5b

Please sign in to comment.