Skip to content

Conversation

microbit-carlos
Copy link
Collaborator

Needed for this PR (which will stay as a draft PR for the time being):

But can be merged immediately, as it's a good CI update to have in the main branch anyway.

@github-actions
Copy link

Build diff

Base commit: 50eef908efdb099d8d7397329a84bb1695c77fc0
Action run: https://github.com/lancaster-university/codal-microbit-v2/actions/runs/4556034772

     VM SIZE    
 -------------- 
  [ = ]       0    TOTAL

Copy link
Collaborator Author

@microbit-carlos microbit-carlos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Okay, GitHub actions is a bit broken at the moment but this works and I want to unblock the CI for #291, so I'll merge now.

@microbit-carlos microbit-carlos merged commit 309d66a into master Mar 29, 2023
@microbit-carlos microbit-carlos deleted the ci-sizediff-submodules branch March 29, 2023 17:28
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