Skip to content
This repository has been archived by the owner on Sep 19, 2024. It is now read-only.

Adds dedicated build step to CI #43

Merged
merged 3 commits into from
Jun 10, 2024
Merged

Adds dedicated build step to CI #43

merged 3 commits into from
Jun 10, 2024

Conversation

djperrefort
Copy link
Member

No description provided.

@djperrefort djperrefort marked this pull request as ready for review June 10, 2024 17:19
@djperrefort djperrefort enabled auto-merge (squash) June 10, 2024 17:19
@djperrefort djperrefort merged commit 4c87536 into main Jun 10, 2024
11 checks passed
@djperrefort djperrefort deleted the publish_ci branch June 10, 2024 17:21
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.

1 participant