Skip to content
CI

Use deref_pointer_as instead of deref_pointer #9919

Sign in to view logs

Use deref_pointer_as instead of deref_pointer

Use deref_pointer_as instead of deref_pointer #9919

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

ci.yml

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