Skip to content

Replace broken pipelines with Github workflows #100

Replace broken pipelines with Github workflows

Replace broken pipelines with Github workflows #100

Triggered via pull request October 11, 2024 16:16
Status Success
Total duration 8m 14s
Artifacts

all.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in