Skip to content

Merge remote-tracking branch 'upstream/main' into pep-443/from-collec… #33

Merge remote-tracking branch 'upstream/main' into pep-443/from-collec…

Merge remote-tracking branch 'upstream/main' into pep-443/from-collec… #33

Triggered via push September 20, 2023 18:41
Status Success
Total duration 2m 17s
Artifacts

render.yml

on: push
Matrix: Render PEPs
Fit to window
Zoom out
Zoom in