Skip to content

Merge branch 'master' of github.com:CGAL/cgal-web #140

Merge branch 'master' of github.com:CGAL/cgal-web

Merge branch 'master' of github.com:CGAL/cgal-web #140

Triggered via push February 13, 2024 12:34
Status Success
Total duration 52s
Artifacts 1

Receive_PR.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pr_number Expired
143 Bytes