Skip to content

Merge extensions repository #1116

Merge extensions repository

Merge extensions repository #1116

Triggered via pull request October 25, 2023 09:44
Status Success
Total duration 11m 24s
Artifacts 4

build.yml

on: pull_request
Build on macOS
7m 55s
Build on macOS
Run Coverity tests
0s
Run Coverity tests
Run CodeQL tests
10m 19s
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
172 MB
pkgs Expired
10.5 MB
rpms Expired
4.86 MB