Skip to content

Fixed Hole::get marked as unsafe in exception-safety.md (#427) #475

Fixed Hole::get marked as unsafe in exception-safety.md (#427)

Fixed Hole::get marked as unsafe in exception-safety.md (#427) #475

Triggered via push October 17, 2023 15:12
Status Success
Total duration 1m 15s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: push
Fit to window
Zoom out
Zoom in