Daniel Larraz 27f6edd472 ci: Only install ethos and carcara when testing proofs (#11343) ...

It also immediately terminates the scripts that retrieve the ethos and
carcara checkers if any command within the script returns a non-zero
exit status. This helps to pinpoint pipeline failures related to the
setup of these checkers more quickly.

2024-11-15 18:52:49 +00:00

..

action.yml

ci: Only install ethos and carcara when testing proofs (#11343)

2024-11-15 18:52:49 +00:00