Merge branch 'main' into addManualDispatch #51

Triggered via push October 3, 2023 15:32

addManualDispatch

Status Success

Total duration 55m 47s

Artifacts 5

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

compilation.yml

on: push

Matrix: build-docker

Matrix: build

Produced during runtime

Name	Size
pspdev-d2ee7de5-fedora Expired	71 MB
pspdev-d2ee7de5-macOS-11 Expired	64.8 MB
pspdev-d2ee7de5-macos-latest Expired	64.8 MB
pspdev-d2ee7de5-ubuntu Expired	73.4 MB
pspdev-d2ee7de5-ubuntu-latest Expired	73.2 MB