Skip to content
Continuous Integration

Merge branch 'main' into topic/use-git-grep-in-scanner #4507

Sign in to view logs

Merge branch 'main' into topic/use-git-grep-in-scanner

Merge branch 'main' into topic/use-git-grep-in-scanner #4507

Triggered via push November 30, 2023 14:39
@fthomasfthomas
pushed 5bfe93a
topic/use-git-grep-in-scanner
Status Success
Total duration 5m 12s
Artifacts –

ci.yml

on: push
Matrix: Build and Test
Matrix: Publish Artifacts
Fit to window
Zoom out
Zoom in