2022-10-22 15:06:24 +03:00
|
|
|
name: CI
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches: [ "main" ]
|
|
|
|
pull_request:
|
|
|
|
branches: [ "main" ]
|
|
|
|
jobs:
|
|
|
|
build:
|
2022-10-22 15:11:26 +03:00
|
|
|
runs-on: ubuntu-22.04
|
2022-10-22 15:06:24 +03:00
|
|
|
steps:
|
|
|
|
- name: install dependencies
|
|
|
|
run: sudo apt-get install -y discount make gcc
|
|
|
|
- name: checkout
|
|
|
|
uses: actions/checkout@v3
|
|
|
|
with:
|
|
|
|
fetch-depth: 1
|
|
|
|
- name: cd repo
|
|
|
|
run: cd ${{ github.workspace }}
|
|
|
|
- name: build
|
2024-08-20 21:07:39 +05:00
|
|
|
run: |
|
|
|
|
cd bin
|
|
|
|
make
|
2024-08-20 22:23:24 +05:00
|
|
|
python make-redirects.py
|
2022-10-22 16:25:52 +03:00
|
|
|
- name: add custom domain
|
|
|
|
run: echo "lipu-sona.pona.la" > public/CNAME
|
2022-10-22 15:06:24 +03:00
|
|
|
- name: deploy
|
|
|
|
uses: peaceiris/actions-gh-pages@v3
|
2024-08-21 15:38:00 +05:00
|
|
|
if: github.event_name != 'pull_request'
|
2022-10-22 15:06:24 +03:00
|
|
|
with:
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
publish_dir: "${{ github.workspace }}/public"
|