Skip to content

Clean generated build artifacts - #4

Closed
mlgorithm wants to merge 3 commits into
AutoProving:mainfrom
mlgorithm:Sam/cleanup-generated-artifacts
Closed

Clean generated build artifacts#4
mlgorithm wants to merge 3 commits into
AutoProving:mainfrom
mlgorithm:Sam/cleanup-generated-artifacts

Remove tracked build artifacts

19f77da
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 2 warnings

The logs for this run have expired and are no longer available.