Skip to content
CI PRs

[CI] Remove Maven profile full in favour of using docs for all document generation. #1310

Sign in to view logs

[CI] Remove Maven profile full in favour of using docs for all document generation.

[CI] Remove Maven profile full in favour of using docs for all document generation. #1310

Run time

Learn about OS pricing on GitHub Actions
Job Run time
scan
10s
build
24m 48s
done
0s
24m 58s