chore: use ci image with typst #962

Merged
davide merged 2 commits from chore/use-ci-image into main 2026-09-01 13:37:33 +00:00
Owner
No description provided.
chore: use ci image with typst
Some checks failed
check-build.yaml / Check that project builds (pull_request) Failing after 0s
check-commitizen.yaml / Check the PR title (pull_request) Successful in 2s
check-formatter.yaml / Checks with formatters (pull_request) Successful in 14s
check-linter.yaml / Checks with linters (pull_request) Successful in 24s
check-yamllint.yaml / Lint yaml files (pull_request) Successful in 9s
forgejo-agent / LLM Bot response generation (pull_request) Successful in 2s
check-syntax.yaml / Checks with static tools (pull_request) Successful in 29s
82c1aefb6f
davide scheduled this pull request to auto merge when all checks succeed 2026-09-01 13:32:27 +00:00
chore: fix build
All checks were successful
check-formatter.yaml / Checks with formatters (pull_request) Successful in 23s
check-build.yaml / Check that project builds (pull_request) Successful in 37s
check-linter.yaml / Checks with linters (pull_request) Successful in 19s
check-yamllint.yaml / Lint yaml files (pull_request) Successful in 6s
check-syntax.yaml / Checks with static tools (pull_request) Successful in 29s
0edb52c965
davide merged commit 2780dde909 into main 2026-09-01 13:37:33 +00:00
davide deleted branch chore/use-ci-image 2026-09-01 13:37:33 +00:00
davide referenced this pull request from a commit 2026-09-01 13:37:34 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
university/notes!962
No description provided.