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

ci: Verify the HTML documentation is up-to-date #3060

Merged
merged 2 commits into from
Mar 18, 2024
Merged

Conversation

Jakuje
Copy link
Member

@Jakuje Jakuje commented Mar 4, 2024

Fixes: #3056

Similar to the spellcheck or clang-format, this attemtpts to regenerate HTML pages and if they are not up to date, fail

Checklist
  • Documentation is added or updated
  • New files have a LGPL 2.1 license statement
  • PKCS#11 module is tested
  • Windows minidriver is tested
  • macOS tokend is tested

@Jakuje Jakuje force-pushed the ci-doc branch 8 times, most recently from 51adaf2 to c169760 Compare March 4, 2024 13:30
The .github/setup-fedora.sh changes the XFAIL_TESTS by sed that expands
to the end of the file, which previously removed also this p11test test.

By reordering these we can keep the workaround working.
Using Fedora image as the ubuntu creates non-standard /usr/etc/... paths without more tweaking

Fixes: OpenSC#3056
@Jakuje Jakuje merged commit 0ab1f81 into OpenSC:master Mar 18, 2024
42 of 43 checks passed
@Jakuje
Copy link
Member Author

Jakuje commented Mar 18, 2024

Merging. Thanks for review!

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.

CI: Check if refresh in documentation is needed
2 participants