Skip to content
GitLab
Explore
Sign in
Add shortcut for observations
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Add shortcut for observations
Lennard Gäher
requested to merge
ci/observe
into
main
Jan 29, 2024
Overview
0
Commits
1
Pipelines
1
Changes
3
Adds a new
#[rr::observe]
shortcut for specifying observations on borrow variables
Merge request reports
Loading