Skip to content

Actions: maxsnew/grammars-and-semantic-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

generic definitions of inductive grammars CI #49: Pull request #18 synchronize by stschaef
September 27, 2024 15:24 20m 6s inductives
inductives
September 27, 2024 15:24 20m 6s
Tensor made opaque. Add non-opaque variants for sum, product, and ten… CI #48: Commit d970635 pushed by stschaef
September 27, 2024 14:39 19m 40s main
main
September 27, 2024 14:39 19m 40s
Make tensor opaque CI #47: Pull request #20 synchronize by stschaef
September 26, 2024 19:16 19m 45s tensoropaque
tensoropaque
September 26, 2024 19:16 19m 45s
Make tensor opaque CI #46: Pull request #20 synchronize by stschaef
September 26, 2024 18:24 20m 37s tensoropaque
tensoropaque
September 26, 2024 18:24 20m 37s
Make tensor opaque CI #45: Pull request #20 synchronize by stschaef
September 26, 2024 15:50 17m 56s tensoropaque
tensoropaque
September 26, 2024 15:50 17m 56s
generic definitions of inductive grammars CI #44: Pull request #18 synchronize by maxsnew
September 26, 2024 12:19 19m 53s inductives
inductives
September 26, 2024 12:19 19m 53s
Make tensor opaque CI #43: Pull request #20 opened by stschaef
September 26, 2024 02:40 16m 30s tensoropaque
tensoropaque
September 26, 2024 02:40 16m 30s
universal properties of monoidal structures, more ambiguity/parseabil… CI #42: Commit 771ead6 pushed by maxsnew
September 25, 2024 23:14 19m 31s main
main
September 25, 2024 23:14 19m 31s
Merge pull request #19 from maxsnew/ci CI #41: Commit 84625ad pushed by stschaef
September 25, 2024 22:44 18m 28s main
main
September 25, 2024 22:44 18m 28s
Update agda/ghc/cabal versions CI #40: Pull request #19 opened by stschaef
September 25, 2024 22:25 19m 21s ci
ci
September 25, 2024 22:25 19m 21s
universal property of tensor, epsilon and linear funs, combinators for literals CI #39: Pull request #17 synchronize by stschaef
September 25, 2024 21:36 17m 10s new-umps
new-umps
September 25, 2024 21:36 17m 10s
generic definitions of inductive grammars CI #38: Pull request #18 synchronize by maxsnew
September 25, 2024 21:19 18m 10s inductives
inductives
September 25, 2024 21:19 18m 10s
generic definitions of inductive grammars CI #37: Pull request #18 synchronize by stschaef
September 25, 2024 18:23 17m 53s inductives
inductives
September 25, 2024 18:23 17m 53s
generic definitions of inductive grammars CI #36: Pull request #18 synchronize by maxsnew
September 25, 2024 15:16 17m 18s inductives
inductives
September 25, 2024 15:16 17m 18s
generic definitions of inductive grammars CI #35: Pull request #18 opened by maxsnew
September 25, 2024 14:12 18m 0s inductives
inductives
September 25, 2024 14:12 18m 0s
universal property of tensor, epsilon and linear funs, combinators for literals CI #34: Pull request #17 opened by maxsnew
September 18, 2024 18:06 19m 30s new-umps
new-umps
September 18, 2024 18:06 19m 30s
Properties of grammars, make things opaque (#15) CI #33: Commit 600b674 pushed by maxsnew
September 16, 2024 23:23 18m 32s main
main
September 16, 2024 23:23 18m 32s
CI CI #32: Manually run by stschaef
September 16, 2024 20:32 18m 47s unambig
unambig
September 16, 2024 20:32 18m 47s
Unambig CI #31: Pull request #15 synchronize by stschaef
September 16, 2024 18:30 18m 42s unambig
unambig
September 16, 2024 18:30 18m 42s
Unambig CI #30: Pull request #15 synchronize by stschaef
September 16, 2024 18:30 18m 37s unambig
unambig
September 16, 2024 18:30 18m 37s
Unambig CI #29: Pull request #15 synchronize by stschaef
September 16, 2024 18:12 17m 4s unambig
unambig
September 16, 2024 18:12 17m 4s
remove line lengths check CI #28: Commit 23be922 pushed by stschaef
September 16, 2024 18:05 18m 55s main
main
September 16, 2024 18:05 18m 55s
Example LL(1) grammar/parser (#11) CI #27: Commit 451a8a6 pushed by maxsnew
September 13, 2024 13:04 19m 44s main
main
September 13, 2024 13:04 19m 44s
Example LL(1) grammar/parser CI #26: Pull request #11 synchronize by maxsnew
September 13, 2024 02:58 19m 43s ll1
ll1
September 13, 2024 02:58 19m 43s
Example LL(1) grammar/parser CI #25: Pull request #11 synchronize by maxsnew
September 13, 2024 02:22 19m 31s ll1
ll1
September 13, 2024 02:22 19m 31s