Skip to content

Merge pull request #115 from eseiler/infra/update_ci #8

Merge pull request #115 from eseiler/infra/update_ci

Merge pull request #115 from eseiler/infra/update_ci #8

Triggered via push July 21, 2023 16:34
Status Success
Total duration 10m 10s
Artifacts

ci_header.yml

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