Skip to content

Actions: bgavran/TensorType

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 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
[test] some sampling tests implemented build #72: Commit 4d72b0d pushed by bgavran
3m 13s main
main
3m 13s
[misc] add spacing in printing build #71: Commit a73f1af pushed by bgavran
8m 10s main
main
8m 10s
[feat] Section strength and tabulation build #70: Commit 3fb771a pushed by bgavran
3m 7s main
main
3m 7s
[prune] remove unused mapFst build #69: Commit a8f7e8b pushed by bgavran
2m 3s main
main
2m 3s
[feat] added mapSection build #68: Commit d644f17 pushed by bgavran
3m 8s main
main
3m 8s
[big] dist, dataloader, sampler for arbitrary containers, setters + m… build #67: Commit cc67c8b pushed by bgavran
2m 54s main
main
2m 54s
[ipkg] add Klene file build #66: Commit 2b13e44 pushed by bgavran
2m 34s main
main
2m 34s
[misc] trailing lambdas, brackets build #65: Commit a9eac94 pushed by bgavran
2m 54s main
main
2m 54s
Merge pull request #7 from jules-hedges/main build #64: Commit 12480aa pushed by bgavran
3m 1s main
main
3m 1s
[build] add a Makefile build #63: Commit 2c5a6d8 pushed by bgavran
3m 7s main
main
3m 7s
[feature] Definition of Kleene star of containers and its functorial action build #62: Pull request #7 opened by jules-hedges
2m 49s jules-hedges:main
jules-hedges:main
2m 49s
[refactor] Para naming build #61: Commit 9d71791 pushed by bgavran
3m 1s main
main
3m 1s
[examples] new indexing syntax ^. build #60: Commit 37eb8a6 pushed by bgavran
2m 31s main
main
2m 31s
[feat] big refactor surrounding additive container composition. Rewor… build #59: Commit 40846af pushed by bgavran
2m 52s main
main
2m 52s
[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