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
ci / Check build (pull_request) Has been cancelled
ci / Check formatting (pull_request) Has been cancelled
ci / Check Documentation Build (pull_request) Has been cancelled
ci / Clippy (pull_request) Has been cancelled
ci / Check build (push) Has been cancelled
ci / Check formatting (push) Has been cancelled
ci / Check Documentation Build (push) Has been cancelled
ci / Clippy (push) Has been cancelled
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.