Skip to content

Actions: maxsnew/grammars-and-semantic-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Turing Machine definition CI #56: Pull request #23 opened by stschaef
October 8, 2024 08:40 16m 22s turingmachine
turingmachine
October 8, 2024 08:40 16m 22s
Generalize universe levels in Indexed Inductives, progress on Dyck pr… CI #55: Commit 402b72b pushed by maxsnew
October 4, 2024 22:46 19m 1s main
main
October 4, 2024 22:46 19m 1s
Generalize universe levels in Indexed Inductives, progress on Dyck proofs CI #54: Pull request #22 opened by maxsnew
October 4, 2024 22:46 18m 35s indexed-dyck
indexed-dyck
October 4, 2024 22:46 18m 35s
Unicode alphabet, subalphabets, and easier tests (#21) CI #53: Commit 75a0633 pushed by maxsnew
September 27, 2024 19:02 20m 23s main
main
September 27, 2024 19:02 20m 23s
Test cases via builtin strings, Ability to take a subalphabet CI #52: Pull request #21 synchronize by stschaef
September 27, 2024 16:51 20m 33s stress
stress
September 27, 2024 16:51 20m 33s
Test cases via builtin strings, Ability to take a subalphabet CI #51: Pull request #21 opened by stschaef
September 27, 2024 16:47 19m 36s stress
stress
September 27, 2024 16:47 19m 36s
Indexed grammars as a LFP of an endofunctor (#18) CI #50: Commit d127d1f pushed by stschaef
September 27, 2024 15:45 20m 6s main
main
September 27, 2024 15:45 20m 6s
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