Skip to content

Drop formatting check in the CI#10

Merged
hamzaremmal merged 1 commit intolampepfl:mainfrom
hamzaremmal:drop-fmt-ci
Oct 5, 2024
Merged

Drop formatting check in the CI#10
hamzaremmal merged 1 commit intolampepfl:mainfrom
hamzaremmal:drop-fmt-ci

Commits

Commits on Oct 5, 2024