Skip to content

CI overhaul - #81

Merged
clun merged 21 commits into
mainfrom
KG-ci-additions
Apr 13, 2026
Merged

CI overhaul#81
clun merged 21 commits into
mainfrom
KG-ci-additions

Conversation

@toptobes

Copy link
Copy Markdown
Collaborator

No description provided.

@toptobes
toptobesforce-pushed the KG-ci-additions branch 2 times, most recently from 0825853 to 748e365CompareFebruary 19, 2026 03:49
@toptobes
toptobesforce-pushed the KG-ci-additions branch 2 times, most recently from e1f683f to 714a240CompareFebruary 22, 2026 01:03
@toptobestoptobes changed the title Basic docs compilation testsCI overhaulMar 3, 2026
@toptobes
toptobesforce-pushed the KG-ci-additions branch 10 times, most recently from 750c20e to 81bec79CompareMarch 4, 2026 23:01
@toptobes
toptobesforce-pushed the KG-ci-additions branch 2 times, most recently from ffd5c3f to 4a40a9bCompareMarch 12, 2026 17:37
@toptobes
toptobesforce-pushed the KG-ci-additions branch 3 times, most recently from 405bc60 to b27c073CompareMarch 12, 2026 18:57
@toptobes
toptobes marked this pull request as ready for review April 1, 2026 17:41
@toptobes
toptobes added this pull request to the merge queueApr 1, 2026
clun
clun approved these changes Apr 1, 2026
@github-merge-queue
github-merge-queueBot removed this pull request from the merge queue due to failed status checks Apr 1, 2026
@clun
clun merged commit a263748 into mainApr 13, 2026
9 checks passed
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@toptobes@clun