Skip to content

Merge pull request #32 from CGAL/dependabot/github_actions/actions/gi… #116

Merge pull request #32 from CGAL/dependabot/github_actions/actions/gi…

Merge pull request #32 from CGAL/dependabot/github_actions/actions/gi… #116

Triggered via push December 5, 2023 20:11
Status Success
Total duration 1m 24s
Artifacts 1

Receive_PR.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pr_number Expired
1 Byte