Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
N
nofib
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 0
    • Merge Requests 0
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Security & Compliance
    • Security & Compliance
    • Dependency List
    • License Compliance
  • Operations
    • Operations
    • Incidents
    • Environments
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Abhiroop Sarkar
  • nofib
  • Repository
  • Branches

  • Overview
  • Active
  • Stale
  • All
  • Sort by
  • Name
  • Oldest updated
  • Last updated
  • patch-2
    e62a49d3 · Update README.md · Jan 13, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • stab-gen_regexp
    e1b0cfad · Stabilise gen_regexp again · Jan 11, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • patch-1
    43d347f3 · Mention symlink situation on Git for Windows in README.md · Jan 11, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • reenable-cacheprof
    14c16c4b · Re-enable cacheprof · Jan 09, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • distclean-git-clean
    f71f3427 · Make `git clean -nxd` silent after `make distclean` · Jan 09, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • master default protected
    8632268a · Stabilise benchmarks wrt. GC · Jan 08, 2019
    Download source code
    zip tar.gz tar.bz2 tar
  • shake
    97a6155f · More informative print line when running tests with Shake. · Mar 04, 2013
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • supercompiler
    270c8d8a · Ad-hoc nofib-analyse changes and SUPERCOMP_HC_OPTS · Dec 06, 2012
    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