release 2.8.0

[andreasabel]

• Bump version to 2.7.20250510. (2.8.0-rc1)

• Agda.cabal: replace -Werror by -Wwarn

• Agda.cabal: remove test-suite

[plt-amy]

~~Since the record where issues are all closed as not planned are we just ditching it then? I quite like the feature and I'd changed the 1Lab to use it a bit so I was hoping to get a reimplementation in before the release (but having had a bad week I suppose that's seeming less likely...)~~ I suppose I'll still work on reimplementing it, but now it can be without the release time pressure, and I'll just ditch it from my code in the meantime too.

edit yep just saw #7872. missed that amidst all the spam we got 😵‍💫

[andreasabel]

I suppose I'll still work on reimplemnting it,

Ah good!
Yeah, let's have a proper implementation of it before we release it!

[andreasabel]

Updating for 2.8.0 RC2. Contains a revert of the fix of

• #7876

[andreasabel]

Released