Skip to content

Conversation

@lennartbecker-d
Copy link
Member

-Update documentation structure
-Add trudag for reporting and tracking
-Initialize trudag

-Rename and sort the files according to Safety-Monitor example
-Add build folder in gitignore
-Add trudag in Dockerfile for TSF application
-Add .dotstop.dot file for digraph
-Add 16 assertions and 6 tenets to trudag
-Update .dotstop.dot
-Add links between corresponding tenets and assertions
-Add initial statement for each TA, TT and Trustable Software
-Review items and links by trudag manage set-item/link ...
-Change name from XYZ to JSON-Library
@github-actions
Copy link

github-actions bot commented Jul 4, 2025

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run //:license-check

Status: ⚠️ Needs Review

Click to expand output
[License Check Output]
Extracting Bazel installation...
Starting local Bazel server and connecting to it...
INFO: Invocation ID: c0b6a49e-31dd-4e4f-a7af-12ad1e092516
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
WARNING: For repository 'googletest', the root module requires module version googletest@1.14.0, but got googletest@1.14.0.bcr.1 in the resolved dependency graph.
WARNING: For repository 'score_python_basics', the root module requires module version score_python_basics@0.3.0, but got score_python_basics@0.3.2 in the resolved dependency graph.
WARNING: For repository 'aspect_rules_lint', the root module requires module version aspect_rules_lint@1.0.3, but got aspect_rules_lint@1.4.2 in the resolved dependency graph.
Computing main repo mapping: 
Loading: 
Loading: 0 packages loaded
Loading: 0 packages loaded
    currently loading: 
Loading: 0 packages loaded
    currently loading: 
Analyzing: target //:license-check (1 packages loaded, 0 targets configured)
Analyzing: target //:license-check (1 packages loaded, 0 targets configured)

Analyzing: target //:license-check (101 packages loaded, 10 targets configured)

ERROR: no such package 'examples': BUILD file not found in any of the following directories. Add a BUILD file to a directory to mark it as a package.
 - /home/runner/work/inc_json/inc_json/examples
ERROR: /home/runner/work/inc_json/inc_json/BUILD:44:21: no such package 'examples': BUILD file not found in any of the following directories. Add a BUILD file to a directory to mark it as a package.
 - /home/runner/work/inc_json/inc_json/examples and referenced by '//:license_check2dash'
ERROR: Analysis of target '//:license-check' failed; build aborted: Analysis failed
INFO: Elapsed time: 10.397s, Critical Path: 0.03s
INFO: 1 process: 1 internal.
ERROR: Build did NOT complete successfully
FAILED: 
ERROR: Build failed. Not running target

@github-actions
Copy link

github-actions bot commented Jul 4, 2025

The created documentation from the pull request is available at: docu-html

-add conversion from md to rst
-add processing for suitable layout in score
-add rst files that were adapted
-add WFJ with reference as example Evidence
-Implements suggested formatting from Ruff
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