Skip to content

Merge pull request #4252 from farscape-project/makefile #6

Merge pull request #4252 from farscape-project/makefile

Merge pull request #4252 from farscape-project/makefile #6

Triggered via push July 23, 2024 06:34
Status Success
Total duration 11m 32s
Artifacts

repo-check.yml

on: push
file-headers-check
5s
file-headers-check
code-style
20s
code-style
documentation
1m 34s
documentation
branch-history
0s
branch-history
Fit to window
Zoom out
Zoom in