Skip to content
This repository has been archived by the owner on Aug 15, 2024. It is now read-only.

fix: avoid ICE on CI #164

Merged
merged 1 commit into from
May 28, 2024
Merged

fix: avoid ICE on CI #164

merged 1 commit into from
May 28, 2024

Conversation

Rustin170506
Copy link
Owner

ref #162 (comment)

Let's stick with an older version. Once it is fixed, we can undo this change.

@Rustin170506 Rustin170506 force-pushed the rustin-patch-ICE branch 2 times, most recently from 32e7d1e to 12e543b Compare May 28, 2024 11:24
Signed-off-by: hi-rustin <rustin.liu@gmail.com>
Copy link
Owner Author

@Rustin170506 Rustin170506 left a comment

Choose a reason for hiding this comment

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

The bug was introduced on May 10th. So I picked 2024-05-01.

🔢 Self-check (PR reviewed by myself and ready for feedback.)

@Rustin170506 Rustin170506 requested a review from epage May 28, 2024 11:29
@epage epage merged commit 763936a into main May 28, 2024
9 checks passed
@epage epage deleted the rustin-patch-ICE branch May 28, 2024 14:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants