Skip to content
MegaLinter

Improved functionality of makefile and grsi-config if TProof class is missing and/or if cmake is used #21

Sign in to view logs

Improved functionality of makefile and grsi-config if TProof class is missing and/or if cmake is used

Improved functionality of makefile and grsi-config if TProof class is missing and/or if cmake is used #21

Triggered via pull request July 12, 2024 00:23
@VinzenzBildsteinVinzenzBildstein
opened #1440
VinzenzBildstein:main
Status Success
Total duration 1m 4s
Artifacts 1

mega-linter.yml

on: pull_request
MegaLinter
55s
MegaLinter
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
MegaLinter reports Expired
8.02 KB