Skip to content

Merge branch 'develop' of https://github.com/EDCD/EDDI into develop #243

Merge branch 'develop' of https://github.com/EDCD/EDDI into develop

Merge branch 'develop' of https://github.com/EDCD/EDDI into develop #243

Triggered via push August 14, 2023 01:36
Status Success
Total duration 17m 58s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in