Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Register
  • Sign in
  • O ogs
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
    • Locked files
  • Issues 111
    • Issues 111
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 42
    • Merge requests 42
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • ogsogs
  • ogs
  • Merge requests
  • !4266

Precompiled headers

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Dmitry Yu. Naumov requested to merge endJunction/ogs:PrecompiledHeaders into master Sep 07, 2022
  • Overview 1
  • Commits 2
  • Pipelines 11
  • Changes 41

Compile time improvement. See commit's message for details.

  1. Feature description was added to the changelog
  2. Tests covering your feature were added?
  3. No new features to document...
Edited Oct 25, 2022 by Dmitry Yu. Naumov
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: PrecompiledHeaders