Skip to content

Fix installing export header#77

Merged
danvratil merged 1 commit intomainfrom
fix/install-export-header
May 24, 2022
Merged

Fix installing export header#77
danvratil merged 1 commit intomainfrom
fix/install-export-header

Conversation

@danvratil
Copy link
Collaborator

No description provided.

@github-actions
Copy link
Contributor

Unit Test Results

  16 files  +  2    16 suites  +2   12m 3s ⏱️ + 1m 46s
  16 tests ±  0    15 ✔️  -   1  0 💤 ±0  1 +1 
252 runs  +32  248 ✔️ +28  0 💤 ±0  4 +4 

For more details on these failures, see this check.

Results for commit b8bf8b8. ± Comparison against base commit df058a9.

@danvratil danvratil merged commit 0c49eae into main May 24, 2022
@danvratil danvratil deleted the fix/install-export-header branch May 24, 2022 22:36
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