CodeQL

Merge pull request #329 from ls1intum/dependabot/maven/com.github.jav… #1141

Sign in to view logs

Summary
Jobs
- Analyse
Run details
- Usage
- Workflow file

Triggered via push November 5, 2023 16:14

github-merge-queue[bot]

master

Status Success

Total duration 3m 10s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql-analysis.yml

on: push