/etc/sudoers: syntax error near line 5 #2
Description
Run sudo pacman --noconfirm -Syu coq ocaml-findlib ocaml-zarith jq
>>> /etc/sudoers: syntax error near line 5[4](https://github.com/mit-plv/fiat-crypto/actions/runs/7291811539/job/19871499472?pr=1788#step:5:5) <<<
sudo: parse error in /etc/sudoers near line [5](https://github.com/mit-plv/fiat-crypto/actions/runs/7291811539/job/19871499472?pr=1788#step:5:6)4
sudo: no valid sudoers sources found, quitting
sudo: unable to initialize policy plugin
Error: Process completed with exit code 1.
https://github.com/mit-plv/fiat-crypto/actions/runs/7291811539/job/19871499472?pr=1788#step:5:1
How am I supposed to use this script?