Skip to content

Convert CI to github format for pages deployment - #1

Merged
simon-ess merged 5 commits into
mainfrom
docs
Aug 26, 2026
Merged

simon-ess merged 5 commits into
mainfrom
docs

Conversation

@simon-ess

Copy link
Copy Markdown
Contributor

No description provided.

@simon-ess
simon-ess force-pushed the docs branch 2 times, most recently from d4de65d to 4abc489 Compare August 19, 2026 13:57
Comment thread src/conf.py

@anderslindho anderslindho left a comment •

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would expect conf.py and README changes in this PR.

I am also wondering re the naming of the repository - can you point to docs showing that it works "claim" a URL that does not match the organisation's name?

Comment thread .github/workflows/docs.yml Outdated
Comment thread .github/workflows/docs.yml
Comment thread .github/workflows/docs.yml
@simon-ess
simon-ess force-pushed the docs branch 3 times, most recently from fb50d08 to bc13d5e Compare August 24, 2026 13:37
Comment thread .github/workflows/docs.yml
Comment thread .github/workflows/docs.yml
Comment thread .github/workflows/docs.yml
Comment thread src/conf.py Outdated
@anderslindho
anderslindho requested review from daneos and pgap August 25, 2026 07:11
@simon-ess
simon-ess requested a review from anderslindho August 26, 2026 11:20
@simon-ess
simon-ess merged commit 3b44056 into main Aug 26, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants