Skip to content

Make time CTFE. It's annoying that it doesn't!#147

Merged
TurkeyMan merged 1 commit into
masterfrom
time_ctfe
May 17, 2026
Merged

Make time CTFE. It's annoying that it doesn't!#147
TurkeyMan merged 1 commit into
masterfrom
time_ctfe

Conversation

@TurkeyMan
Copy link
Copy Markdown
Member

No description provided.

@TurkeyMan TurkeyMan merged commit 3721188 into master May 17, 2026
20 checks passed
@TurkeyMan TurkeyMan deleted the time_ctfe branch May 17, 2026 13:58
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