Skip to content

Allows for manual nightly builds.#4002

Merged
hediet merged 1 commit intomainfrom
hediet/b/academic-walrus
Jun 5, 2023
Merged

Allows for manual nightly builds.#4002
hediet merged 1 commit intomainfrom
hediet/b/academic-walrus

Conversation

@hediet
Copy link
Copy Markdown
Member

@hediet hediet commented Jun 5, 2023

No description provided.

@hediet hediet requested review from lszomoru and removed request for lszomoru June 5, 2023 15:43
@hediet hediet merged commit 5f70e6f into main Jun 5, 2023
@hediet hediet deleted the hediet/b/academic-walrus branch June 5, 2023 16:15
@github-actions github-actions bot locked and limited conversation to collaborators Jul 20, 2023
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