Skip to content

Merge pull request #4242 from zzzyhtheonly/main #21

Merge pull request #4242 from zzzyhtheonly/main

Merge pull request #4242 from zzzyhtheonly/main #21

Triggered via push January 22, 2024 19:58
Status Success
Total duration 4m 13s
Artifacts

distcheck.yml

on: push
make_distcheck
4m 6s
make_distcheck
Fit to window
Zoom out
Zoom in