Skip to content

Bump CI to agda-2.8 and stdlib-2.3 #495

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
andreasabel merged 1 commit into from
Nov 14, 2025
Merged

Bump CI to agda-2.8 and stdlib-2.3 #495

andreasabel merged 1 commit into from
Nov 14, 2025
+36 −22

Conversation

@andreasabel
Copy link
Member

@andreasabel andreasabel commented Nov 14, 2025

No description provided.

@JacquesCarette
Copy link
Collaborator

JacquesCarette commented Nov 14, 2025

Thanks - I've been meaning to do this, but got stuck on Wen's setup-agda not having caught up.

JacquesCarette
JacquesCarette approved these changes Nov 14, 2025
View reviewed changes
Copy link
Collaborator

@JacquesCarette JacquesCarette left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good to me, but my YAML-fu is weak.

@andreasabel andreasabel mentioned this pull request Nov 14, 2025
Closed
@andreasabel
Copy link
Member Author

andreasabel commented Nov 14, 2025 •
edited
Loading

Thanks - I've been meaning to do this, but got stuck on Wen's setup-agda not having caught up.

Yes, this is unfortunately a problem.
I made a simple setup action that works for 2.8.0.
It is not feature complete with Wen's action---just a simple composite action I wrote today.
The amount of features and sophistication on Wen's action seems unfortunately also the reason why it is stuck---just too much effort to maintain.

@andreasabel
Copy link
Member Author

andreasabel commented Nov 14, 2025

Works!

@andreasabel andreasabel merged commit b2ab2fa into master Nov 14, 2025
1 check passed
@JacquesCarette JacquesCarette deleted the ci-2.8.0 branch November 14, 2025 20:40
@JacquesCarette
Copy link
Collaborator

JacquesCarette commented Nov 14, 2025

Thanks - you've now unblocked me on several PRs. NB: I'm not a huge fan of self-merges...

@andreasabel
Copy link
Member Author

andreasabel commented Nov 14, 2025

Ah, I took your approving review as green light...

But yes, good to be able to move on with Agda 2.8.0...

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

Reviewers

@JacquesCarette JacquesCarette JacquesCarette approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@andreasabel @JacquesCarette