Skip to content

Merge pull request #406 from garlick/rfc42 #344

Merge pull request #406 from garlick/rfc42

Merge pull request #406 from garlick/rfc42 #344

Triggered via push December 22, 2023 17:00
Status Success
Total duration 12m 7s
Artifacts

main.yml

on: push
validate commits
0s
validate commits
make check
15s
make check
make linkcheck
10m 19s
make linkcheck
Fit to window
Zoom out
Zoom in