Skip to content

Cleanup CodeQL DBs and output their location for later steps#543

Merged
edoardopirovano merged 1 commit into
github:mainfrom
edoardopirovano:output-db-location
Jun 4, 2021
Merged

Cleanup CodeQL DBs and output their location for later steps#543
edoardopirovano merged 1 commit into
github:mainfrom
edoardopirovano:output-db-location

Cleanup CodeQL DBs and output their location for later steps

ec666f8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs