Fix CI configs to actually work #7

Merged
shrukan merged 6 commits from refs/pull/7/head into main 2024-02-18 00:15:06 +00:00
3 changed files with 8 additions and 1 deletions
Showing only changes of commit 236e919ef8 - Show all commits
+1 -1
View File
@@ -30,7 +30,7 @@ jobs:
- name: Archive coverage report
uses: actions/upload-artifact@v3
with:
name: docs
name: coverage_report
path: build/coverage.tar.gz
retention-days: 5
+5
View File
@@ -2,6 +2,8 @@ name: Build Docs
run-name: ${{ gitea.ref }} Build
on:
push:
branches:
- main
jobs:
build-docs:
@@ -12,6 +14,9 @@ jobs:
- name: Check out repository code
uses: actions/checkout@v4
- name: Configure
run: just configure
- name: Build docs
run: just docs
+2
View File
@@ -2,6 +2,8 @@ name: Build Image
run-name: ${{ gitea.ref }} Build
on:
push:
branches:
- main
jobs:
build-dev-image: