document `clear` tactic #4363

Job	Run time
EasyCrypt compilation (opam)	2m 47s
EasyCrypt compilation (nix)	2m 28s
Fetch EasyCrypt External Projects Matrix	4s
Check EasyCrypt Libraries (stdlib)	6m 14s
Check EasyCrypt Libraries (examples)	5m 21s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 50s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 52s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	9m 9s
Check EasyCrypt Libraries (unit)	3m 55s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 44s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 14s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	16m 39s
Check EasyCrypt External Projects (set-status)	4s
Notification	4s
	1h 12m 25s

Provide feedback