Skip to content
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.

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

Adjust to upcoming julia#54341 #292

Merged
merged 1 commit into from
May 7, 2024
Merged

Adjust to upcoming julia#54341 #292

merged 1 commit into from
May 7, 2024

Conversation

Keno
Copy link
Collaborator

@Keno Keno commented May 5, 2024

The feature check is done using julia#53849 (which is itself a bit of an experiment), so the idea is to merge/tag this before the base PR is merged to prevent breakage on julia master.

The feature check is done using julia#53849 (which is itself a bit
of an experiment), so the idea is to merge/tag this before the base
PR is merged to prevent breakage on julia master.
Keno added a commit to Keno/IRTools.jl that referenced this pull request May 6, 2024
The feature check is done using julia#53849 (which is itself a bit of an experiment),
so the idea is to merge/tag this before the base PR is merged to prevent breakage on julia master.

See also JuliaDiff/Diffractor.jl#292
@Keno Keno merged commit 5830a94 into main May 7, 2024
9 checks passed
Keno added a commit to FluxML/IRTools.jl that referenced this pull request May 7, 2024
The feature check is done using julia#53849 (which is itself a bit of an experiment),
so the idea is to merge/tag this before the base PR is merged to prevent breakage on julia master.

See also JuliaDiff/Diffractor.jl#292
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.

1 participant