Rename FILS slides PDF files

Merge Request Overview

This merge request fixes the names of the FILS pdf slides files and fixes the pipeline to figure out this error.

Testing Strategy

This merge request was not tested.

TODO or Help Wanted

N/A

Build

• Ran ./build.sh.

Author

Signed-off-by: Alexandru Radovici alexandru.radovici@wyliodrin.com

added bug label

enabled automatic add to merge train when checks pass

started a merge train

merged

mentioned in commit 5a4b8d26