Skip to content

chore: bump toolchain and CI to 4.29.0-rc1#16

Merged
acmepjz merged 1 commit intoacmepjz:mainfrom
ejgallego:update_toolchains
Feb 20, 2026
Merged

chore: bump toolchain and CI to 4.29.0-rc1#16
acmepjz merged 1 commit intoacmepjz:mainfrom
ejgallego:update_toolchains

Conversation

@ejgallego
Copy link
Copy Markdown
Contributor

No description provided.

@acmepjz acmepjz merged commit 097bf51 into acmepjz:main Feb 20, 2026
8 checks passed
@acmepjz
Copy link
Copy Markdown
Owner

acmepjz commented Feb 20, 2026

Thank you!

@ejgallego ejgallego deleted the update_toolchains branch February 20, 2026 15:19
ejgallego added a commit to ejgallego/md4lean that referenced this pull request Feb 20, 2026
acmepjz pushed a commit that referenced this pull request Feb 21, 2026
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