Skip to content

Add CI - #2

Merged
ewjoachim merged 1 commit into
v2from
ci
Jan 30, 2022
Merged

ewjoachim merged 1 commit into
v2from
ci

Conversation

@ewjoachim

Copy link
Copy Markdown
Member

No description provided.

@ewjoachim
ewjoachim force-pushed the ci branch 6 times, most recently from ac1a48e to 8a2a93c Compare January 30, 2022 21:43
@github-actions

Copy link
Copy Markdown

Coverage report

The coverage rate is 100%
The branch rate is 100%

100% of new lines are covered.

@ewjoachim
ewjoachim merged commit 92422fb into v2 Jan 30, 2022
@ewjoachim
ewjoachim deleted the ci branch January 30, 2022 21:47
ewjoachim added a commit that referenced this pull request Aug 5, 2023
# This is the 1st commit message:

Use SUBPROJECT_ID

# The commit message #2 will be skipped:

# use marker
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