cli: new lines on error #134
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Deploy GI docs | |
on: | |
push: | |
branches: [main] | |
permissions: | |
contents: write | |
pages: write | |
id-token: write | |
jobs: | |
gi-docs: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Install Nix | |
uses: DeterminateSystems/nix-installer-action@main | |
with: | |
logger: pretty | |
- name: Checkout Source Repository | |
uses: actions/checkout@v4 | |
with: | |
path: src | |
- name: Build Documentation | |
run: | | |
cd src | |
nix build .#docs --print-build-logs | |
- name: Checkout Destination Repo | |
uses: actions/checkout@v4 | |
with: | |
token: ${{ secrets.token }} | |
repository: aylur/aylur.github.io | |
ref: main | |
path: dist | |
- name: Configure Git | |
run: | | |
git config --global user.email "github-actions[bot]@users.noreply.github.com" | |
git config --global user.name "GitHub Actions Bot" | |
- name: Clean and Copy Files | |
run: | | |
rm -rf dist/libastal | |
cp -r src/result/libastal dist/libastal | |
- name: Push to Pages Repo | |
run: | | |
cd dist | |
git add . | |
if [ -n "$(git diff --cached)" ]; then | |
git commit -m "Deployed from https://github.com/${{ github.repository }}/commit/${{ github.sha }}" | |
git push origin main | |
fi |