Skip to content

Merge branch 'public-domain-dedication' #5

Merge branch 'public-domain-dedication'

Merge branch 'public-domain-dedication' #5

Triggered via push December 13, 2023 02:20
Status Success
Total duration 25s
Artifacts

testing.yml

on: push
Make-Check
17s
Make-Check
Fit to window
Zoom out
Zoom in