Add WSL2 workaround to 'Get Frama-C' page

4 jobs for get-frama-c-add-wsl2-workaround in 11 minutes (queued for 9 seconds)