Skip to content

Conversation

@iignatevich
Copy link
Collaborator

No description provided.

@iignatevich iignatevich force-pushed the build_extra_stepsV2 branch from 7b0e582 to fcbeb12 Compare June 11, 2024 08:52
@iignatevich iignatevich force-pushed the build_extra_stepsV2 branch from fcbeb12 to 7bcce6c Compare June 11, 2024 08:55
@iignatevich iignatevich marked this pull request as ready for review June 11, 2024 08:56
@davidferlay davidferlay merged commit e065169 into main Jun 11, 2024
@davidferlay
Copy link
Contributor

Fixes bypassed extra build step

@lexbritvin lexbritvin deleted the build_extra_stepsV2 branch August 21, 2024 18:37
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.

3 participants