Skip to content

Actions: bgavran/TensorType

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
[misc, printing] import reorg, missing instances, pretty printing build #58: Commit 638590c pushed by bgavran
2m 37s main
main
2m 37s
[refactor] internal hom of AddCont uses DPair, comments build #57: Commit 33ee834 pushed by bgavran
2m 31s main
main
2m 31s
[test] add basic interface tests build #56: Commit 189c8f9 pushed by bgavran
2m 41s main
main
2m 41s
update CI command for tests build #55: Commit 8fedb3e pushed by bgavran
2m 21s main
main
2m 21s
fix CI for tests build #54: Commit a73f7f7 pushed by bgavran
1m 35s main
main
1m 35s
[fix, refactor] TensorType is now total, various tweaks build #53: Commit 4162918 pushed by bgavran
1m 26s main
main
1m 26s
. build #52: Commit b85946f pushed by bgavran
1m 46s main
main
1m 46s
Merge pull request #6 from bgavran/Display build #51: Commit 1b18b0c pushed by bgavran
1m 34s main
main
1m 34s
Display build #50: Pull request #6 opened by bgavran
1m 54s Display
Display
1m 54s
[fix] typos build #49: Commit 56072e0 pushed by bgavran
1m 30s main
main
1m 30s
[fix] for some reason this breas on CI build #48: Commit 5ceb225 pushed by bgavran
1m 37s main
main
1m 37s
Update README.md build #47: Commit 66a6828 pushed by bgavran
1m 3s main
main
1m 3s
add comment about feature in Training.idr build #46: Commit 3349830 pushed by bgavran
1m 15s main
main
1m 15s
[new] sampling, monadic additive lenses, para build #45: Commit a4c6cbc pushed by bgavran
1m 11s main
main
1m 11s
[fix] add missing files build #44: Commit d016c6f pushed by bgavran
1m 8s main
main
1m 8s
[fix] added missing foldable for trees build #43: Commit 45a2de4 pushed by bgavran
1m 9s main
main
1m 9s
Merge branch 'sampling' build #42: Commit 1874688 pushed by bgavran
1m 11s main
main
1m 11s
[new] Para infix composition build #41: Commit ac8d675 pushed by bgavran
1m 6s main
main
1m 6s
[fix] forgot to rename fn build #40: Commit ac62400 pushed by bgavran
1m 4s main
main
1m 4s
Merge pull request #4 from andrevidela/applicative-from-monoid build #39: Commit 230c0ed pushed by bgavran
1m 13s main
main
1m 13s
replace AllApplicative by tensor monoid build #38: Pull request #4 synchronize by andrevidela
1m 8s andrevidela:applicative-from-monoid
andrevidela:applicative-from-monoid
1m 8s
[new] lensInputs build #36: Commit b8a4f65 pushed by bgavran
58s main
main
58s
[fix] too many arguments warning in new version build #35: Commit c9b25e2 pushed by bgavran
1m 6s main
main
1m 6s
[fix] add missing lens projector fixity build #34: Commit c58b595 pushed by bgavran
1m 9s main
main
1m 9s
[fix] incorrect name for dependent chart constructor build #33: Commit 192e6de pushed by bgavran
55s main
main
55s