Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: don't use kroki #2284

Merged
merged 1 commit into from
Mar 17, 2023
Merged

Conversation

aucampia
Copy link
Member

@aucampia aucampia commented Mar 17, 2023

Summary of changes

The kroki server is currently experiencing some issues which breaks our
build, this change eliminates the use of kroki in favour of directly
using the generated SVG images which is checked into git alongside the
plantuml sources.

I also added a task to the Taskfile to re-generate the SVG images from
the plantuml sources by calling docker.

Checklist

  • Checked that there aren't other open pull requests for
    the same change.
  • Checked that all tests and type checking passes.
  • Considered granting push permissions to the PR branch,
    so maintainers can fix minor issues and keep your PR up to date.

@aucampia aucampia force-pushed the iwana-20230317T1841-kroki branch 2 times, most recently from 8f497ac to d66563b Compare March 17, 2023 19:21
@coveralls
Copy link

coveralls commented Mar 17, 2023

Coverage Status

Coverage: 90.782%. Remained the same when pulling 48f69a7 on aucampia:iwana-20230317T1841-kroki into 334787b on RDFLib:main.

@aucampia aucampia marked this pull request as ready for review March 17, 2023 21:12
@aucampia
Copy link
Member Author

Merging without review as this has no runtime changes.

The kroki server is currently experiencing some issues which breaks our
build, this change eliminates the use of kroki in favor of directly
using the generated svg images which is checked into git alongside the
plantuml sources.

I also added a task to the Taskfile to re-generate the svg images from
the plantuml sources by calling docker.
@aucampia aucampia changed the title build: use a docker image for kroki when building docs: don't use kroki Mar 17, 2023
@aucampia aucampia merged commit bea782f into RDFLib:main Mar 17, 2023
@aucampia aucampia deleted the iwana-20230317T1841-kroki branch April 9, 2023 15:04
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.

2 participants