Skip to content
CodeQL

Update CI scripts. #10

Sign in to view logs

Update CI scripts.

Update CI scripts. #10

Triggered via push December 14, 2023 22:48
@VolkerEnderleinVolkerEnderlein
pushed 09ce444
master
Status Success
Total duration 1m 47s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql.yml

on: push
Analyze
1m 40s
Analyze
Fit to window
Zoom out
Zoom in