Skip to content
This repository was archived by the owner on Jan 28, 2026. It is now read-only.

CI Update#202

Open
Cowboylaserkittenjetshark wants to merge 3 commits intomainfrom
ci-updates
Open

CI Update#202
Cowboylaserkittenjetshark wants to merge 3 commits intomainfrom
ci-updates

Conversation

@Cowboylaserkittenjetshark
Copy link
Member

Use nix devShell for CI env

- Add type annotations for broken assert
- Remove unnecessary logln imports (macro_exported, does not need to be imported usually)
- Only import logln for graphing
- Update names of traits changed in bec0667
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant