parasitepool/entangle
2
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

Better types #4

Merged
parabit merged 5 commits from parabit/strongly-typed into master 2026-05-05 01:09:45 +00:00
Conversation 1 Commits 5 Files changed 35 +1164 -181
parabit commented 2026-05-04 18:26:46 +00:00
Owner
Copy link
No description provided.
Update hermit env
Some checks are pending
CI / test (macos-latest) (pull_request) Waiting to run
Details
CI / test (windows-latest) (pull_request) Waiting to run
Details
CI / lint (pull_request) Successful in 16m1s
Details
CI / test (ubuntu-latest) (pull_request) Successful in 20m35s
Details
2467580586
parabit changed title from Better typings to Better types 2026-05-04 18:26:56 +00:00
ci tweak
Some checks failed
CI / test-linux (pull_request) Failing after 33s
Details
CI / lint (pull_request) Has been cancelled
Details
093ba28c27
parabit force-pushed parabit/strongly-typed from 093ba28c27
Some checks failed
CI / test-linux (pull_request) Failing after 33s
Details
CI / lint (pull_request) Has been cancelled
Details
to 0d28787c09
All checks were successful
CI / lint (pull_request) Successful in 4m27s
Details
CI / test-linux (pull_request) Successful in 13m1s
Details
2026-05-04 21:39:04 +00:00 Compare
paratoxic approved these changes 2026-05-05 01:08:51 +00:00
paratoxic left a comment
Owner
Copy link

LGTM, good types

LGTM, good types
parabit merged commit 9caa211cb5 into master 2026-05-05 01:09:45 +00:00
parabit referenced this pull request from a commit 2026-05-05 01:09:46 +00:00
Better types (#4)
parabit deleted branch parabit/strongly-typed 2026-05-05 01:09:46 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
paratoxic
Labels
Clear labels   
bug

Something isn't working

  
documentation

Improvements or additions to documentation

  
duplicate

This issue or pull request already exists

  
enhancement

New feature or request

  
good first issue

Good for newcomers

  
help wanted

Extra attention is needed

  
invalid

This doesn't seem right

  
question

Further information is requested

  
wontfix

This will not be worked on

No labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
parasitepool/entangle!4
No description provided.