Compare commits
No commits in common. "dc6e801c23f90359f57ae88bdc798cf50d0c221d" and "0b85f4a6612754241cc35f98c7c60f238309213e" have entirely different histories.
dc6e801c23
...
0b85f4a661
50
.github/workflows/docs.yaml
vendored
50
.github/workflows/docs.yaml
vendored
@ -1,50 +0,0 @@
|
|||||||
name: CI
|
|
||||||
on:
|
|
||||||
push:
|
|
||||||
branches: [ "master" ]
|
|
||||||
pull_request:
|
|
||||||
branches: [ "master" ]
|
|
||||||
workflow_dispatch:
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
build:
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
steps:
|
|
||||||
- name: Checkout code
|
|
||||||
uses: actions/checkout@v4
|
|
||||||
|
|
||||||
- name: Setup V
|
|
||||||
run: |
|
|
||||||
wget -qO /tmp/v.zip https://github.com/vlang/v/releases/latest/download/v_linux.zip
|
|
||||||
unzip -q /tmp/v.zip -d /tmp
|
|
||||||
echo /tmp/v >> "$GITHUB_PATH"
|
|
||||||
|
|
||||||
- name: Build docs
|
|
||||||
run: |
|
|
||||||
v doc -f html -m .
|
|
||||||
pushd _docs
|
|
||||||
ln -vs licenseid.html index.html
|
|
||||||
ls -alFh
|
|
||||||
popd
|
|
||||||
|
|
||||||
- name: Upload static files as artifact
|
|
||||||
id: deployment
|
|
||||||
uses: actions/upload-pages-artifact@v3
|
|
||||||
with:
|
|
||||||
path: _docs/
|
|
||||||
|
|
||||||
deploy:
|
|
||||||
needs: build
|
|
||||||
environment:
|
|
||||||
name: github-pages
|
|
||||||
url: ${{ steps.deployment.outputs.page_url }}
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
steps:
|
|
||||||
- name: Deploy to GitHub Pages
|
|
||||||
id: deployment
|
|
||||||
uses: actions/deploy-pages@v4
|
|
||||||
|
|
||||||
permissions:
|
|
||||||
contents: read
|
|
||||||
pages: write
|
|
||||||
id-token: write
|
|
@ -1 +0,0 @@
|
|||||||
examples/
|
|
Loading…
x
Reference in New Issue
Block a user