Skip to content

check we are running POSIX in CI#724

Merged
mxcl merged 5 commits into
mainfrom
POSIX-check
Sep 13, 2023
Merged

check we are running POSIX in CI#724
mxcl merged 5 commits into
mainfrom
POSIX-check

Conversation

@mxcl

@mxcl mxcl commented Sep 13, 2023

Copy link
Copy Markdown
Contributor

No description provided.

@coveralls

coveralls commented Sep 13, 2023

Copy link
Copy Markdown

Coverage Status

coverage: 98.855%. remained the same when pulling 3cfc510 on POSIX-check into 1a86527 on main.

@mxcl mxcl merged commit b4d925c into main Sep 13, 2023
@mxcl mxcl deleted the POSIX-check branch September 13, 2023 17:08
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.

2 participants