Skip to content
Snippets Groups Projects

Followup for !1011

Merged Followup for !1011
proux1/iris:re_1011 into master
All threads resolved!
Merged Pierre Roux requested to merge proux1/iris:re_1011 into master
All threads resolved!

Now works with Coq master which prints version 8.19+alpha

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Ralf Jung resolved all threads

    resolved all threads

  • Ralf Jung added 1 commit

    added 1 commit

    Compare with previous version

  • Ralf Jung enabled an automatic merge when the pipeline for 57506fe5 succeeds

    enabled an automatic merge when the pipeline for 57506fe5 succeeds

  • Ralf Jung
    Ralf Jung @jung ·
    Owner

    Thanks!

  • Ralf Jung merged

    merged

  • Ralf Jung mentioned in commit 8043d14b

    mentioned in commit 8043d14b

  • Pierre Roux
    Pierre Roux @proux1 ·
    Author Contributor

    Thanks

    • Please register or sign in to reply