Skip to content
This repository was archived by the owner on May 19, 2025. It is now read-only.

nightly-2022-09-13#278

Merged
aurexav merged 2 commits intomainfrom
xavier/toolchain
Nov 8, 2022
Merged

nightly-2022-09-13#278
aurexav merged 2 commits intomainfrom
xavier/toolchain

Conversation

@aurexav
Copy link
Member

@aurexav aurexav commented Nov 8, 2022

No description provided.

@aurexav aurexav added the Toolchain Toolchain label Nov 8, 2022
@aurexav aurexav enabled auto-merge (squash) November 8, 2022 17:21
@aurexav aurexav merged commit 7f3e1ca into main Nov 8, 2022
@aurexav aurexav deleted the xavier/toolchain branch November 8, 2022 17:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Toolchain Toolchain

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant