Skip to content

Actions: maxsnew/grammars-and-semantic-actions

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix filename CI #81: Commit dce6ad8 pushed by maxsnew
January 10, 2025 16:40 37m 38s main
main
January 10, 2025 16:40 37m 38s
Fix cyclic module dependency CI #80: Commit 939b216 pushed by stschaef
January 10, 2025 15:42 28m 22s main
main
January 10, 2025 15:42 28m 22s
Regex/NFA Isomorhpism (#29) CI #79: Commit 929a8a4 pushed by stschaef
January 10, 2025 15:37 9m 15s main
main
January 10, 2025 15:37 9m 15s
Regex/NFA Isomorhpism CI #78: Pull request #29 synchronize by stschaef
January 10, 2025 03:41 19m 27s regex-nfa
regex-nfa
January 10, 2025 03:41 19m 27s
Regex/NFA Isomorhpism CI #77: Pull request #29 synchronize by stschaef
January 10, 2025 02:47 19m 26s regex-nfa
regex-nfa
January 10, 2025 02:47 19m 26s
Regex/NFA Isomorhpism CI #76: Pull request #29 synchronize by stschaef
January 9, 2025 14:57 19m 34s regex-nfa
regex-nfa
January 9, 2025 14:57 19m 34s
Regex/NFA Isomorhpism CI #75: Pull request #29 opened by stschaef
January 9, 2025 14:32 19m 28s regex-nfa
regex-nfa
January 9, 2025 14:32 19m 28s
Disjointness constructions CI #74: Commit 0ede4ab pushed by stschaef
November 14, 2024 17:50 29m 28s main
main
November 14, 2024 17:50 29m 28s
fix label typo CI #73: Commit 5d27ea2 pushed by stschaef
November 12, 2024 19:53 30m 28s main
main
November 12, 2024 19:53 30m 28s
sync paper changes CI #72: Commit 9332e98 pushed by stschaef
November 8, 2024 06:39 29m 52s main
main
November 8, 2024 06:39 29m 52s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace … CI #71: Commit 0f878cc pushed by maxsnew
October 28, 2024 21:35 29m 27s main
main
October 28, 2024 21:35 29m 27s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence CI #70: Pull request #28 synchronize by maxsnew
October 28, 2024 18:55 29m 30s monoidal-category
monoidal-category
October 28, 2024 18:55 29m 30s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence CI #69: Pull request #28 synchronize by maxsnew
October 28, 2024 15:59 15m 21s monoidal-category
monoidal-category
October 28, 2024 15:59 15m 21s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence CI #68: Pull request #28 opened by maxsnew
October 26, 2024 05:26 15m 31s monoidal-category
monoidal-category
October 26, 2024 05:26 15m 31s
Equalizers, Dyck Trace Strong equiv, inductive strings, generic deter… CI #67: Commit 4b67f97 pushed by maxsnew
October 23, 2024 14:14 8m 33s main
main
October 23, 2024 14:14 8m 33s
Port over to inductive strings. Generic determinsitic automata CI #66: Pull request #26 synchronize by maxsnew
October 23, 2024 13:47 8m 40s automata
automata
October 23, 2024 13:47 8m 40s
Port over to inductive strings. Generic determinsitic automata CI #65: Pull request #26 opened by stschaef
October 17, 2024 21:12 14m 45s automata
automata
October 17, 2024 21:12 14m 45s
Turing Machine definition (#23) CI #64: Commit a46eb9b pushed by maxsnew
October 8, 2024 18:14 20m 37s main
main
October 8, 2024 18:14 20m 37s
Turing Machine definition CI #63: Pull request #23 synchronize by maxsnew
October 8, 2024 18:02 20m 29s turingmachine
turingmachine
October 8, 2024 18:02 20m 29s
Determinization (#24) CI #62: Commit 7e76a4a pushed by maxsnew
October 8, 2024 16:56 19m 44s main
main
October 8, 2024 16:56 19m 44s
Determinization CI #61: Pull request #24 synchronize by maxsnew
October 8, 2024 16:39 19m 56s determinize-refactor
determinize-refactor
October 8, 2024 16:39 19m 56s
Determinization CI #60: Pull request #24 synchronize by maxsnew
October 8, 2024 15:50 16m 47s determinize-refactor
determinize-refactor
October 8, 2024 15:50 16m 47s
Determinization CI #59: Pull request #24 synchronize by maxsnew
October 8, 2024 15:24 17m 26s determinize-refactor
determinize-refactor
October 8, 2024 15:24 17m 26s
Determinization CI #58: Pull request #24 synchronize by maxsnew
October 8, 2024 15:02 17m 8s determinize-refactor
determinize-refactor
October 8, 2024 15:02 17m 8s
Determinization CI #57: Pull request #24 opened by stschaef
October 8, 2024 08:48 16m 54s determinize-refactor
determinize-refactor
October 8, 2024 08:48 16m 54s