Skip to content

Merge extensions repository #1171

Merge extensions repository

Merge extensions repository #1171

Triggered via push October 25, 2023 08:12
Status Success
Total duration 25m 53s
Artifacts 4

build.yml

on: push
Build on macOS
8m 6s
Build on macOS
Run Coverity tests
0s
Run Coverity tests
Run CodeQL tests
0s
Run CodeQL tests
Matrix: fedora
Matrix: ubuntu
Matrix: Build on Windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
debs Expired
48.7 MB
msi Expired
170 MB
pkgs Expired
10.5 MB
rpms Expired
4.86 MB