Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • Iris Iris
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 148
    • Issues 148
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 8
    • Merge requests 8
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • IrisIris
  • Wiki
  • Home

Home · History

Page version Author Changes Last updated
be575c35 Tej Chajed
Link to release checklist from home page
Nov 05, 2021
68824ddd Ralf Jung
Update home
Nov 23, 2020
c57dba3c Tej Chajed
Add a contributing guide
Nov 22, 2020
3b0ac044 Tej Chajed
Add an initial style guide
Nov 22, 2020
b9e5c6b9 Ralf Jung
Update home
Jun 24, 2018
9713a1d9 Ralf Jung
jung created page: home
Jun 24, 2018
Clone repository
  • Creating a new Iris release
  • Pinned Iris package versions
  • contributing
  • coq bugs
  • Home
  • style guide