Renamed .github to .gitea
mkdocs / deploy (push) Failing after 1m50s

This commit is contained in:
2025-05-29 08:18:33 +02:00
parent 281e77ea64
commit 958f0842a2
2 changed files with 0 additions and 0 deletions
+30
View File
@@ -0,0 +1,30 @@
name: mkdocs
on:
push:
branches:
- main
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Configure Git Credentials
run: |
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
- uses: actions/setup-python@v5
with:
python-version: 3.x
- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
- uses: actions/cache@v4
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- run: pip install mkdocs-material
- run: pip install mkdocs-glightbox
- run: pip install Pygments
- run: mkdocs gh-deploy --force
+44
View File
@@ -0,0 +1,44 @@
name: Build and Release
on:
push:
tags:
- '*'
permissions:
contents: write
jobs:
build-and-release:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Setup Zig
uses: mlugg/setup-zig@v1
with:
version: 0.14.0-dev.1510+fb0028a0d
- name: Build release artifacts
run: |
zig build -Doptimize=ReleaseSmall release
# The think is 300kb, I dont need to compress it
#- name: Create zip files for release artifacts
# run: |
# mkdir -p zig-out/release/zips
# for file in zig-out/release/*; do
# if [ -f "$file" ] && [[ "$(basename "$file")" != *.pdb ]]; then
# filename=$(basename "$file")
# zipname="${filename%.*}"
# zip -j "zig-out/release/zips/${zipname}.zip" "$file"
# fi
# done
- name: Upload release artifacts
uses: ncipollo/release-action@v1
with:
name: "Release ${{ github.ref_name }}"
body: "Base release. Most ZipponQL features are here but stuffs around is missing."
artifacts: zig-out/release/*