Skip to content

minor docs updates

minor docs updates #48

Triggered via push July 31, 2024 22:30
Status Success
Total duration 1m 22s
Artifacts 1
build-and-deploy
1m 11s
build-and-deploy
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/icudt_no_CJK.dat' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/icudt_CJK.dat' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/dotnet.native.wasm' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/dotnet.native.8.0.7.pvkr2na9g4.js' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/dotnet.js' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/dotnet.runtime.8.0.7.1xq9ky4qkq.js' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/blazor.webassembly.js' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
Invalid file permissions automatically fixed
mode of 'release/wwwroot/_framework/icudt_EFIGS.dat' changed from 0744 (rwxr--r--) to 0755 (rwxr-xr-x)
build-and-deploy
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-dotnet@v3, actions/configure-pages@v3, actions/upload-artifact@v3, actions/deploy-pages@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build-and-deploy: src/SCFirstOrderLogic/SentenceManipulation/VariableManipulation/CNFClauseExtensions.cs#L6
Missing XML comment for publicly visible type or member 'CNFClauseExtensions'
build-and-deploy: src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/DiscriminationTreeVisualiser.razor#L131
Possible null reference argument for parameter 'term' in 'void DiscriminationTree.Add(Term term)'.
build-and-deploy: src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/DiscriminationTreeVisualiser.razor#L145
Non-nullable property 'SubmitType' must contain a non-null value when exiting constructor. Consider declaring the property as nullable.
build-and-deploy: src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/PathTreeVisualiser.razor#L141
Possible null reference argument for parameter 'term' in 'void PathTree.Add(Term term)'.
build-and-deploy: src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/PathTreeVisualiser.razor#L155
Non-nullable property 'SubmitType' must contain a non-null value when exiting constructor. Consider declaring the property as nullable.
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "github-pages". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Artifacts

Produced during runtime
Name Size
github-pages Expired
18.2 MB