[fp-check] ignoring nra cache files

2 jobs for !22 with fp-check in 4 minutes and 29 seconds (queued for 6 seconds)
latest merge request
Name Stage Failure
tests: [4.12.0] Test
[ppx_deriving_yojson.3.6.1] downloaded from https://github.com/ocaml-ppx/ppx_deriving_yojson/releases/download/v3.6.1/ppx_deriving_yojson-v3.6.1.tbz
[core.v0.14.1] downloaded from https://github.com/janestreet/core/archive/v0.14.1.tar.gz
[jingoo.1.4.3] downloaded from https://github.com/tategakibunko/jingoo/archive/v1.4.3.tar.gz
[yojson.1.7.0] downloaded from https://github.com/ocaml-community/yojson/releases/download/1.7.0/yojson-1.7.0.tbz
[ERROR] The sources of the following couldn't be obtained, aborting:
- why3.1.4.0: curl error code 403

Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1