ethz-asl
diff --git a/‎.github/ubuntu20_04.yml renamed to ‎.github/workflows/ubuntu20_04.yml b/‎.github/ubuntu20_04.yml renamed to ‎.github/workflows/ubuntu20_04.yml