Skip to content
CI

Use deref_pointer_as instead of deref_pointer #9918

Sign in to view logs

Use deref_pointer_as instead of deref_pointer

Use deref_pointer_as instead of deref_pointer #9918

Triggered via pull request January 30, 2025 15:24
@geetanshjunejageetanshjuneja
synchronize #4140
geetanshjuneja:deref
Status Success
Total duration 25m 37s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
2m 34s
style checks
coverage report
5m 58s
coverage report
conclusion
0s
conclusion
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in