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

[build system] fix multiple issues for scripting #526

Merged
merged 1 commit into from
Apr 24, 2024

Conversation

Avimitin
Copy link
Contributor

No description provided.

@Avimitin Avimitin force-pushed the tweaks-for-inhouse branch 3 times, most recently from ab142f1 to b31e5b2 Compare April 19, 2024 11:38
@Avimitin Avimitin changed the title [build system] fix multiple issues from backend [build system] fix multiple issues for scripting Apr 19, 2024
@Avimitin Avimitin force-pushed the tweaks-for-inhouse branch 3 times, most recently from a586986 to 6269808 Compare April 23, 2024 09:18
* [mlirbc] add new elaborate target subsystememu
* [script] fix ratio issue
* [script] remove subsystememu script
* [script] fix build issue
* [ci] bump delete-artifact
@sequencer sequencer merged commit 720feea into master Apr 24, 2024
82 checks passed
@sequencer sequencer deleted the tweaks-for-inhouse branch April 24, 2024 06:01
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