Skip to content

Conversation

@proux01
Copy link
Contributor

@proux01 proux01 commented Oct 31, 2025

Following #920

There is still one instance of 8.20 in .github/workflows/doc.yml, not sure what to do with it?

@proux01 proux01 force-pushed the drop820 branch 2 times, most recently from cba7d0a to a2f288b Compare October 31, 2025 15:37
@gares
Copy link
Contributor

gares commented Oct 31, 2025

Thanks, although I'm not so sure I want to drop 8.20.
I had to drop it from nix CI, but maybe I can keep this PR on hold for some more time.

@gares
Copy link
Contributor

gares commented Oct 31, 2025

Hum, the cleanup is massive! Maybe I won't wait that long after all

@proux01 proux01 force-pushed the drop820 branch 2 times, most recently from a430806 to 3ec3db7 Compare November 1, 2025 16:32
@gares
Copy link
Contributor

gares commented Nov 2, 2025

thanks. the doc job used to build on 8.20 because of alectryon and serapi. maybe we can just bump serapi. maybe it is the occasion to bump alectryon. I'll take a look.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants