Skip to content
Snippets Groups Projects

bump to Coq 8.18

Merged bump to Coq 8.18
ci/coq into master
Merged Ralf Jung requested to merge ci/coq into master

Merge request reports

Pipeline #96128 passed

Stage: build

    Pipeline passed for efeb255f on ci/coq

    Approval is optional

    Merged by Ralf JungRalf Jung 1 year ago (Feb 2, 2024 6:21pm UTC)

    Merge details

    • Changes merged into master with e904125a.
    • Deleted the source branch.
    • Auto-merge enabled

    Pipeline #97163 passed

    Stage: build

      Pipeline passed for e904125a on master

      Activity

      Filter activity
      • Approvals
      • Assignees & reviewers
      • Comments (from bots)
      • Comments (from users)
      • Commits & branches
      • Edits
      • Labels
      • Lock status
      • Mentions
      • Merge request status
      • Tracking
      Please register or sign in to reply