Skip to content

Fix CI, again - #4083

Merged
nlohmann merged 2 commits into
developfrom
fix-ci
Sep 7, 2023
Merged

nlohmann merged 2 commits into
developfrom
fix-ci

Conversation

@nlohmann

Copy link
Copy Markdown
Owner
  • Updated astyle
  • Updated Clang-Tidy

@github-actions

Copy link
Copy Markdown

🔴 Amalgamation check failed! 🔴

The source code has not been amalgamated. @nlohmann
Please read and follow the Contribution Guidelines.

1 similar comment
@github-actions

Copy link
Copy Markdown

🔴 Amalgamation check failed! 🔴

The source code has not been amalgamated. @nlohmann
Please read and follow the Contribution Guidelines.

@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same when pulling 611cd7e on fix-ci into 5d27543 on develop.

@tomalakgeretkal

Copy link
Copy Markdown
Contributor

When will this get merged? It blocks using make amalgamate (without manually editing the makefile).

@nlohmann

nlohmann commented Sep 6, 2023

Copy link
Copy Markdown
Owner Author

Let me check.

@nlohmann nlohmann added this to the Release 3.11.3 milestone Sep 7, 2023
@nlohmann
nlohmann merged commit 836b7be into develop Sep 7, 2023
@nlohmann
nlohmann deleted the fix-ci branch September 7, 2023 18:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants