improve GIC modules #31

Merged
muellerr merged 1 commits from improve-gic-modules into main 2025-12-06 14:39:00 +01:00
Owner
No description provided.
muellerr added 1 commit 2025-12-06 14:38:55 +01:00
improve GIC modules
Some checks are pending
ci / Check build (push) Waiting to run
ci / Check formatting (push) Waiting to run
ci / Check Documentation Build (push) Waiting to run
ci / Clippy (push) Waiting to run
ci / Check build (pull_request) Waiting to run
ci / Check formatting (pull_request) Waiting to run
ci / Check Documentation Build (pull_request) Waiting to run
ci / Clippy (pull_request) Waiting to run
b5f5ccb52c
muellerr merged commit e43cab0312 into main 2025-12-06 14:39:00 +01:00
muellerr deleted branch improve-gic-modules 2025-12-06 14:39:00 +01:00
Sign in to join this conversation.