mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 11:15:38 -05:00
CI
This commit is contained in:
parent
965a04f5c9
commit
85dd753cfc
1 changed files with 3 additions and 3 deletions
6
.github/workflows/gh-pages.yml
vendored
6
.github/workflows/gh-pages.yml
vendored
|
|
@ -3,7 +3,7 @@ name: github pages
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- master # Set a branch name to trigger deployment
|
- main
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
deploy:
|
deploy:
|
||||||
|
|
@ -20,7 +20,7 @@ jobs:
|
||||||
|
|
||||||
- uses: ocaml/setup-ocaml@v2
|
- uses: ocaml/setup-ocaml@v2
|
||||||
with:
|
with:
|
||||||
ocaml-version: '5.0'
|
ocaml-compiler: '5.0'
|
||||||
|
|
||||||
- name: Pin
|
- name: Pin
|
||||||
run: opam pin -n .
|
run: opam pin -n .
|
||||||
|
|
@ -39,5 +39,5 @@ jobs:
|
||||||
with:
|
with:
|
||||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
publish_dir: ./_build/default/_doc/_html/
|
publish_dir: ./_build/default/_doc/_html/
|
||||||
destination_dir: dev
|
destination_dir: .
|
||||||
enable_jekyll: true
|
enable_jekyll: true
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue