Skip to content

Rename some functions with more useful/clear names #3131

Rename some functions with more useful/clear names

Rename some functions with more useful/clear names #3131

Triggered via pull request October 29, 2023 19:16
Status Success
Total duration 48m 20s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request
Python Bindings (ubuntu-latest)
1m 44s
Python Bindings (ubuntu-latest)
Test Utils (ubuntu-latest)
4m 48s
Test Utils (ubuntu-latest)
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Test Utils (ubuntu-latest): utils/update_every_lists.sh#L1
Please re-run utils/update_every_lists.sh and commit any changes.