Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
W www
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 16
    • Issues 16
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge requests 3
    • Merge requests 3
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • OCamlPro
  • www
  • Merge requests

  • Open 3
  • Merged 157
  • Closed 14
  • All 174
  • Priority Created date Last updated Milestone due date Popularity Label priority
  • add expertises and services to homepage
    !172 · created Apr 14, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Apr 17, 2022
  • add favicon and fixes
    !170 · created Apr 13, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Apr 14, 2022
  • update Club Alt-Ergo with TIS
    !168 · created Mar 31, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Mar 31, 2022
  • Fix image size in blog posts
    !167 · created Mar 27, 2022 by Elias Bendjaballah
    • MERGED
    • 0
    updated Mar 31, 2022
  • Ajout d'une phrase pour étoffer (+ SEO) + Ajout logo Why3 + MERCE avant Thalès
    !166 · created Feb 24, 2022 by Muriel Shan Sei Fan
    • MERGED
    • Approved
    • 0
    updated Feb 24, 2022
  • page sur le club Alt-Ergo
    !165 · created Feb 24, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 24, 2022
  • improve blockchain.md
    !164 · created Feb 22, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 22, 2022
  • Murielok
    !162 · created Feb 21, 2022 by Muriel Shan Sei Fan
    • MERGED
    • 0
    updated Feb 22, 2022
  • Describe services on languages
    !163 · created Feb 21, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 22, 2022
  • Add infrastructure for use-cases
    !154 · created Feb 16, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 21, 2022
  • fix og:image quotes
    !161 · created Feb 17, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 17, 2022
  • try new og:image
    !160 · created Feb 17, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 17, 2022
  • fix open graph headers
    !159 · created Feb 17, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 17, 2022
  • fix og image
    !158 · created Feb 17, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 17, 2022
  • compute description from article preview
    !157 · created Feb 17, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 17, 2022
  • coquille
    !156 · created Feb 17, 2022 by Muriel Shan Sei Fan
    • MERGED
    • 0
    updated Feb 17, 2022
  • add ![figure!:IMAGE:CAPTION] to set og:image
    !155 · created Feb 17, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 17, 2022
  • Communication
    !114 · created Jan 11, 2022 by Fabrice Le Fessant
    • MERGED
    • 0
    updated Feb 17, 2022
  • forgotten lab picture
    !151 · created Feb 16, 2022 by Fabrice Le Fessant   communication
    • MERGED
    • 0
    updated Feb 16, 2022
  • Improve blog imageS
    !149 · created Feb 15, 2022 by Fabrice Le Fessant   communication
    • MERGED
    • 0
    updated Feb 16, 2022
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 8
  • Next