Update `error-prone.picnic.tech` website content

Upgrade actions/checkout v4.1.1 -> v4.1.3 #1173

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

The logs for this run have expired and are no longer available.