Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
    • Contribute to GitLab
  • Sign in
P
patches-class
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 1
    • Issues 1
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • gargantext
  • patches-class
  • Branches

  • Overview
  • Active
  • Stale
  • All
  • Sort by
  • Name
  • Oldest updated
  • Last updated
  • master default protected
    f2d7d7a8 · Merge branch 'ghc964' into 'master' · Feb 24, 2025
    Download source code
    zip tar.gz tar.bz2 tar
  • ghc964 merged
    7e0429f9 · Don't commit to a particular compiler in cabal.project · Feb 24, 2025
    1
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • adinapoli/ghc-9.4.7 merged
    3668d286 · Support GHC 9.4.7 · Dec 11, 2023
    3
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • tests-fixes merged
    12e98d97 · [docs] haddock fixes · Sep 04, 2023
    7
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 163-fix-transform-with merged
    743ad89e · [refactor] project updated to match cabal build · Aug 30, 2023
    10
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • alp/fix-comment
    271ba32d · fix comment that confused GHC because of haddock syntax in an unexpected place · Jun 21, 2021
    12
    1
    Compare
    Download source code
    zip tar.gz tar.bz2 tar

Delete protected branch '[branch name]'?

You’re about to permanently delete the protected branch [branch name].

This branch hasn’t been merged into master . To avoid data loss, consider merging this branch before deleting it.

Once you confirm and press Delete protected branch , it cannot be undone or recovered.

To confirm, type [branch name] :

Delete protected branch