EOS S3 fixes #1356

Job	Run time
Action / 🎬 VHDL	2m 28s
Action / 🎬 eos-s3 \| btn_counter	2m 29s
Action / 🎬 VHDL-plugin	2m 40s
Action / 🎬 Verilog	2m 58s
Action / 🎬 arty_100 \| picosoc_demo	8m 25s
Action / 🎬 arty_35 \| counter_test	4m 41s
Pipeline / 🚦 SymbiFlow \| xc7	3m 30s
Pipeline / 📓 Docs	2m 35s
Pipeline / 🚦 SymbiFlow \| eos-s3	3m 20s
Pipeline / 🐍 Format	14s
Pipeline / 🚦 F4PGA \| xc7	3m 37s
Pipeline / Install	9s
Pipeline / 🚦 F4PGA \| eos-s3	4m 41s
Pipeline / 🚦 Lattice \| ice40	47s
Pipeline / Check license headers	22s
Pipeline / 🐍 PYTHONPATH	3s
Pipeline / 🐍 Python Tests	1m 43s
Automerge dependabot PRs	0s
	44m 42s

Provide feedback