Skip to content

feat: More CI - #300

Merged
KSkwarczynski merged 2 commits into
mainfrom
kskwarczynski/feat/moreCI
Sep 30, 2026
Merged

KSkwarczynski merged 2 commits into
mainfrom
kskwarczynski/feat/moreCI

Conversation

@KSkwarczynski

Copy link
Copy Markdown
Member

Pull request description:

Now that we have fully deterministic code let's use it for CI checks.

@KSkwarczynski KSkwarczynski self-assigned this Sep 29, 2026
@github-actions

github-actions Bot commented Sep 29, 2026 •

Copy link
Copy Markdown

Super-linter summary

Language Validation result
MARKDOWN Pass ✅

All files and directories linted successfully

For more information, see the GitHub Actions workflow run

Powered by Super-linter

@github-actions github-actions Bot added Validations 🔍 Further information is requested Cmake 🛠️ labels Sep 29, 2026
@KSkwarczynski
KSkwarczynski merged commit 323b77b into main Sep 30, 2026
14 checks passed
@KSkwarczynski
KSkwarczynski deleted the kskwarczynski/feat/moreCI branch September 30, 2026 07:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Cmake 🛠️ Validations 🔍 Further information is requested

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant