Skip to content

Actions: BasisResearch/effectful

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
1,375 workflow runs
1,375 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Detect non-parameterizable Collection subclasses (#707) Lint #2084: Commit 334f49f pushed by eb8680
2m 0s master
master
2m 0s
Implement plated einsum Lint #2083: Pull request #692 synchronize by jfeser
1m 18s jf-weighted-plated-einsum
jf-weighted-plated-einsum
1m 18s
Detect non-parameterizable Collection subclasses Lint #2082: Pull request #707 synchronize by jfeser
2m 1s jf-jax-nested-type
jf-jax-nested-type
2m 1s
Detect non-parameterizable Collection subclasses Lint #2081: Pull request #707 opened by jfeser
2m 26s jf-jax-nested-type
jf-jax-nested-type
2m 26s
Replace runtime-type quotation with splice-into-source typechecking Lint #2080: Pull request #706 synchronize by datvo06
2m 13s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 13s
Replace runtime-type quotation with splice-into-source typechecking Lint #2079: Pull request #706 synchronize by datvo06
2m 9s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 9s
Add doctest validation stage to Callable decoding Lint #2078: Pull request #694 synchronize by eb8680
1m 29s eb-doctest-synthesis
eb-doctest-synthesis
1m 29s
Add doctest validation stage to Callable decoding Lint #2077: Pull request #694 synchronize by eb8680
2m 28s eb-doctest-synthesis
eb-doctest-synthesis
2m 28s
Replace runtime-type quotation with splice-into-source typechecking Lint #2076: Pull request #706 synchronize by datvo06
2m 14s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 14s
Replace runtime-type quotation with splice-into-source typechecking Lint #2075: Pull request #706 synchronize by datvo06
2m 16s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 16s
Replace runtime-type quotation with splice-into-source typechecking Lint #2074: Pull request #706 synchronize by datvo06
2m 3s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 3s
Replace runtime-type quotation with splice-into-source typechecking Lint #2073: Pull request #706 synchronize by datvo06
2m 13s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 13s
Replace runtime-type quotation with splice-into-source typechecking Lint #2072: Pull request #706 synchronize by datvo06
2m 2s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 2s
Replace runtime-type quotation with splice-into-source typechecking Lint #2071: Pull request #706 opened by datvo06
2m 13s dn-696-splice-typecheck
dn-696-splice-typecheck
2m 13s
Implement plated einsum Lint #2070: Pull request #692 synchronize by jfeser
1m 25s jf-weighted-plated-einsum
jf-weighted-plated-einsum
1m 25s
Unsupplied parameters stay bound in deffn Lint #2069: Pull request #703 opened by jfeser
2m 5s jf-deffn-curry
jf-deffn-curry
2m 5s
Synthesis-based template handling Lint #2068: Pull request #693 opened by eb8680
2m 2s eb-synthesis-response
eb-synthesis-response
2m 2s
Implement plated einsum Lint #2067: Pull request #692 synchronize by jfeser
1m 13s jf-weighted-plated-einsum
jf-weighted-plated-einsum
1m 13s
Implement plated einsum Lint #2066: Pull request #692 synchronize by jfeser
1m 22s jf-weighted-plated-einsum
jf-weighted-plated-einsum
1m 22s
Implement plated einsum Lint #2065: Pull request #692 opened by jfeser
1m 14s jf-weighted-plated-einsum
jf-weighted-plated-einsum
1m 14s
Staging branch for weighted Lint #2064: Pull request #656 synchronize by jfeser
2m 10s staging-weighted
staging-weighted
2m 10s
Coproduct respects identity (#691) Lint #2063: Commit 72bb624 pushed by eb8680
1m 58s master
master
1m 58s
Make nested_type more conservative with typeddict (#688) Lint #2062: Commit b75c1b9 pushed by jfeser
2m 12s master
master
2m 12s
Coproduct respects identity Lint #2061: Pull request #691 synchronize by jfeser
2m 10s jf-coproduct-identity
jf-coproduct-identity
2m 10s
Coproduct respects identity Lint #2060: Pull request #691 synchronize by jfeser
2m 10s jf-coproduct-identity
jf-coproduct-identity
2m 10s