Git builds

Workflow runs for Git builds

• polish

  failed:
  Git builds#52:Commitf6505f7pushedbymquinson
  master

  Nov 29, 202520s
  More actions for workflow run 52

• Move contributor's material to src/

  failed:
  Git builds#51:Commitf624e70pushedbymquinson
  master

  Nov 29, 202523s
  More actions for workflow run 51

• Move stuff away now that we are transitionning to Docker

  failed:
  Git builds#50:Commite8f06a0pushedbymquinson
  master

  Nov 29, 202514s
  More actions for workflow run 50

• Complain on non-existing exercises

  failed:
  Git builds#49:Commit8111dc9pushedbymquinson
  master

  Nov 29, 202520s
  More actions for workflow run 49

• TODO++

  completed successfully:
  Git builds#48:Commit074cc38pushedbymquinson
  master

  Oct 20, 202514m 1s
  More actions for workflow run 48

• Get the exercise compiler to fail if uuencode is not installed

  completed successfully:
  Git builds#47:Commitde971d6pushedbymquinson
  master

  Sep 3, 20253m 43s
  More actions for workflow run 47

• docker: Copy the script before fixing its rights

  completed successfully:
  Git builds#46:Commit763b5c9pushedbymquinson
  master

  Sep 3, 20254m 33s
  More actions for workflow run 46

• CI: install build-essential before building

  completed successfully:
  Git builds#45:Commit55d8cbepushedbymquinson
  master

  Sep 3, 20254m 26s
  More actions for workflow run 45

• Version 0.5, sorry for the big messy commit

  failed:
  Git builds#44:Commitf569654pushedbymquinson
  master

  Sep 3, 20251m 46s
  More actions for workflow run 44