Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

  1. 18 Jun, 2021 1 commit
  2. 15 Jun, 2021 1 commit
  3. 14 Jun, 2021 1 commit
  4. 09 Jun, 2021 2 commits
  5. 28 May, 2021 1 commit
  6. 26 May, 2021 1 commit
  7. 18 May, 2021 3 commits
  8. 26 Apr, 2021 2 commits
  9. 23 Apr, 2021 1 commit
  10. 19 Apr, 2021 1 commit
  11. 09 Apr, 2021 1 commit
  12. 24 Mar, 2021 1 commit
  13. 23 Mar, 2021 1 commit
  14. 05 Mar, 2021 1 commit
  15. 18 Feb, 2021 1 commit
  16. 17 Feb, 2021 1 commit
  17. 16 Dec, 2020 1 commit
  18. 11 Dec, 2020 1 commit
  19. 01 Dec, 2020 1 commit
  20. 30 Nov, 2020 2 commits
  21. 29 Nov, 2020 1 commit
  22. 25 Nov, 2020 1 commit
  23. 24 Nov, 2020 3 commits
  24. 21 Oct, 2020 1 commit
  25. 20 Oct, 2020 2 commits
  26. 19 Oct, 2020 1 commit
  27. 16 Oct, 2020 3 commits
  28. 23 Sep, 2020 1 commit
  29. 20 Sep, 2020 2 commits
    • AGULLO Emmanuel's avatar
      minor · 363de4ed
      AGULLO Emmanuel authored
      363de4ed
    • AGULLO Emmanuel's avatar
      Refining qr_mumps package · ef03cd95
      AGULLO Emmanuel authored
      - some lint clean up
      - set up wget dependency (towards enabling "make test")
      - OMP_NUM_THREADS=1 during check (towards enabling "make test")
      - enable all arithmetics
      - correctly builds the master branch:
      guix environment --pure --ad-hoc qr_mumps --with-git-url=qr_mumps=/my/path/to/git/clone/of/qr_mumps/ --with-branch=qr_mumps=master
      ef03cd95