Revision 1 jk #80
Merged
Revision 1 jk #80
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- Add trudag as the first job to the publish_documentation workflow (uploads the trudag report as an artifact) - Adjusted the original eclipse publication workflow to download the trudag report before building the documentation
- The cpp test reference in the trudag report is rendered with some mkdocs specific formatting that is now removed by the cleaning script
The statements in well-formed-json were overlapping. To remove the over- lap, we reworked the statements and condensed them into eight distinct.
- created no-json-faults as specificications for WFJ-01, WFJ-04, WFJ-05. - added this to trustable graph
- Add No-JSON-Faults (NJF-08) about accepting numbers - Added this below WFJ-03
- additional node increases flexibility w.r.t. additional statements - added reference to tests
Reference unit-class-parser for NJF-06.4.1 and NJF-06.4.3
- add references of type cpp_test to NJF-05.1, NJF-05.2, NJF-05.3, NJF-05.7.1 - fix reference for NJF-06.4.1 and NJF-06.4.2
Previously, the changes to the documentation were written to TSF/docs/trustable_graph.rst. This was not part of the trudag artifact, so removed for documentation generation. As a fix, it is now moved to TSF/docs/generated, which is stored in the artifact.
github-actions
bot
added
M
CI
documentation
Erikhu1
approved these changes
Sep 15, 2025
Erikhu1
pushed a commit
that referenced
this pull request
Nov 14, 2025
* update trudag to version 2025.8.5 * remove unused code * rework partial graph plotting Previously, the changes to the documentation were written to TSF/docs/trustable_graph.rst. This was not part of the trudag artifact, so removed for documentation generation. As a fix, it is now moved to TSF/docs/generated, which is stored in the artifact. --------- Co-authored-by: Nils Eberhardt <nils.eberhardt@d-fine.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fix the location of the generated documentation.