Swap fibbonacci.json file for a version compiled without proof-mode (… #300
ci.yml
on: push
tests_and_format
2m 19s
docker_image
2m 15s