Skip to content
Snippets Groups Projects

drop support for Coq 8.16 and 8.17

Merged drop support for Coq 8.16 and 8.17
ralf/old-coq into master
Merged Ralf Jung requested to merge ralf/old-coq into master

Merge request reports

Merge request pipeline #96242 passed

Stage: build

    Merge request pipeline passed for a178b667

    Approval is optional

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

    Merge details

    • Changes merged into master with 5dcd0197.
    • Deleted the source branch.

    Pipeline #96398 passed

    Stage: build

      Pipeline passed for 5dcd0197 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