Skip to content

build: ⬆️ upgrade Quarto theme; remove glossary.json#324

Merged
signekb merged 1 commit into
mainfrom
build/upgrade-quarto-theme
Jul 27, 2026
Merged

build: ⬆️ upgrade Quarto theme; remove glossary.json#324
signekb merged 1 commit into
mainfrom
build/upgrade-quarto-theme

Conversation

@signekb

@signekb signekb commented Jul 27, 2026

Copy link
Copy Markdown
Member

Description

From just run-all.

Needs no review.

Checklist

  • Ran just run-all

@signekb
signekb requested review from a team as code owners July 27, 2026 07:24
@signekb
signekb merged commit c1335e7 into main Jul 27, 2026
9 checks passed
@signekb
signekb deleted the build/upgrade-quarto-theme branch July 27, 2026 07:49
@github-project-automation github-project-automation Bot moved this from Todo to Done in Platform development Jul 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant