Update the generation of the backward functions so that they don't fail #1481
ci.yml
on: pull_request
check_if_skip_duplicate_job
5s
check-charon-pin
7s
userdocs
5s