Skip to content

Fix CI

Bram Veenboer requested to merge fix-ci into master

!223 (merged) broke the CI by one missing rename (utils_init_example_aterms_offse to utils_init_example_aterm_offsets) causing some parts of the CI to pass with warnings. This MR fixes that, all tests pass again.

Merge request reports