Skip to content

Minor fixes - #57

Merged
volkm merged 5 commits into
stormchecker:mainfrom
volkm:minor-fixes
Aug 4, 2026
Merged

Minor fixes#57
volkm merged 5 commits into
stormchecker:mainfrom
volkm:minor-fixes

Conversation

@volkm

@volkm volkm commented Jul 31, 2026

Copy link
Copy Markdown
Contributor
  • Updated eigen website
  • Reflect move from parallel hashmap to gtl
  • Added simple page for logo
  • Revised links for tests

@volkm
volkm merged commit 65dca93 into stormchecker:main Aug 4, 2026
1 check failed
@volkm
volkm deleted the minor-fixes branch August 4, 2026 12:02
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