test header button removal

This commit is contained in:
Yisroel Baum 2026-08-10 23:01:58 +03:00
parent e6ccc7ebe1
commit f78ad5f968
Signed by: yisroelbaum
GPG key ID: 0FA60884F75520A9

View file

@ -81,5 +81,11 @@ pkgs.runCommand "tide-module-test" { } ''
${pkgs.gnugrep}/bin/grep -F \
"https://chat.whatsapp.com/FLdSwkdiChA9wvXxooUV9K" \
${landingPage}/index.html
if ${pkgs.gnugrep}/bin/grep -F \
'class="button button--small"' \
${landingPage}/index.html; then
echo "unexpected small button in landing-page header" >&2
exit 1
fi
touch "$out"
''