Giters

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Home Page:https://wiki.portal.chalmers.se/agda/pmwiki.php

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Release Agda 2.7.0

jespercockx opened this issue · comments

commented

Unfortunately we missed the deadline of the 1st of May, but in the latest Agda dev meeting we discussed that we should still work towards a release of 2.7.0 relatively soon. The following issues are critical ones that should be resolved one way or another before the release:

Issues with the false label:

Issues with the internal-error label:

Other issues that should really be fixed before the release:

Please let me know if there are any other issues that you believe belong on this list and I will add them.

For the other issues that are on the 2.7.0 milestone, we should evaluate whether anyone is available to resolve them on the short term (e.g. before the end of May), and otherwise bump them to a different milestone:

  • 2.8.0 for issues that have both a person assigned to them and a concrete plan
  • later for issues that have someone assigned to them but no concrete plan yet
  • icebox for all other issues.

@plt-amy @UlfNorell @andreasabel @nad @gallais @arthur-adjedj @L-TChen @phikal @asr @jul1u5: You all have at least one assigned issue with the 2.7.0 milestone. Please take a look at the issue(s) and decide which of the options above apply to them.

For all the unassigned issues, I would like to ask everyone to contribute a little too to triage them. Thank you all for the commitment to make Agda the best it can be!

commented

At the moment I'm writing this comment there are no more open issues or PRs with the 2.7.0 milestone. Please let me know if there are any issues that were missed or bumped incorrectly.

In the meantime, we can start to prepare a first release candidate. @andreasabel would you be available to do this?

commented

Yes, I can take care of the release.