Skip to content

Actions: bgavran/TensorType

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 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
. 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
[fix] further zip-related tweaks build #32: Commit 246053a pushed by bgavran
1m 2s main
main
1m 2s
[fix] remove incorrect List applicative build #31: Commit fb804f6 pushed by bgavran
59s main
main
59s
[refactor] all lenses are now closed build #30: Commit 3adab69 pushed by bgavran
58s main
main
58s
[fix] changed container record fields to start with uppercase build #29: Commit b031881 pushed by bgavran
1m 2s main
main
1m 2s
Merge pull request #3 from bgavran/rnn build #28: Commit f4f1dee pushed by bgavran
57s main
main
57s
[new] RNN example build #27: Pull request #3 opened by bgavran
58s rnn
rnn
58s