Skip to content

Actions: patrick-kidger/jaxtyping

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
487 workflow runs
487 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

beartype error messages for dataclass attributes now use the correct name
Run tests #129: Pull request #132 synchronize by patrick-kidger
October 21, 2023 18:38 2m 4s better-names
October 21, 2023 18:38 2m 4s
PR #132
CodeQL #58: by patrick-kidger
October 21, 2023 18:38 3m 13s better-names
October 21, 2023 18:38 3m 13s
Error message for bad symbolic shapes is now useful.
Build docs #34: Commit 2ab8286 pushed by patrick-kidger
October 21, 2023 18:38 53s main
October 21, 2023 18:38 53s
Error message for bad symbolic shapes is now useful.
Release #97: Commit 2ab8286 pushed by patrick-kidger
October 21, 2023 18:38 1m 13s main
October 21, 2023 18:38 1m 13s
Push on main
CodeQL #57: by patrick-kidger
October 21, 2023 18:38 3m 29s main
October 21, 2023 18:38 3m 29s
Scheduled
CodeQL #56: by github-advanced-security bot
October 19, 2023 05:32 2m 48s main
October 19, 2023 05:32 2m 48s
beartype error messages for dataclass attributes now use the correct name
Run tests #128: Pull request #132 synchronize by patrick-kidger
October 19, 2023 00:16 2m 25s better-names
October 19, 2023 00:16 2m 25s
PR #132
CodeQL #55: by patrick-kidger
October 19, 2023 00:16 2m 52s better-names
October 19, 2023 00:16 2m 52s
beartype error messages for dataclass attributes now use the correct name
Run tests #127: Pull request #132 opened by patrick-kidger
October 19, 2023 00:10 2m 27s better-names
October 19, 2023 00:10 2m 27s
PR #132
CodeQL #54: by patrick-kidger
October 19, 2023 00:10 3m 10s better-names
October 19, 2023 00:10 3m 10s
Error message for bad symbolic shapes is now useful.
Run tests #126: Pull request #131 opened by patrick-kidger
October 18, 2023 23:59 7m 46s fixed-symbolic-error
October 18, 2023 23:59 7m 46s
PR #131
CodeQL #53: by patrick-kidger
October 18, 2023 23:59 8m 38s fixed-symbolic-error
October 18, 2023 23:59 8m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-10-18 or the other filters available.