Skip to content

cleaner ci output#5

Merged
mxcl merged 2 commits intomainfrom
cleaner-ci-output
May 22, 2023
Merged

cleaner ci output#5
mxcl merged 2 commits intomainfrom
cleaner-ci-output

Conversation

@mxcl
Copy link
Copy Markdown
Contributor

@mxcl mxcl commented May 22, 2023

No description provided.

@mxcl mxcl force-pushed the cleaner-ci-output branch from 2f74e2b to 1cf34f2 Compare May 22, 2023 13:28
@mxcl mxcl force-pushed the cleaner-ci-output branch from 1cf34f2 to 2083e20 Compare May 22, 2023 13:30
@mxcl mxcl force-pushed the cleaner-ci-output branch from 68c6182 to 39c3056 Compare May 22, 2023 13:37
@mxcl mxcl merged commit 369a8e3 into main May 22, 2023
@mxcl mxcl deleted the cleaner-ci-output branch May 22, 2023 13:39
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