Skip to content

Adding get_prop_with_grid_subset_index and overloaded \in #15

Adding get_prop_with_grid_subset_index and overloaded \in

Adding get_prop_with_grid_subset_index and overloaded \in #15

Triggered via pull request September 30, 2023 01:15
Status Success
Total duration 1m 52s
Artifacts

format_check.yml

on: pull_request
Matrix: check
Fit to window
Zoom out
Zoom in