Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #494 from VeriFIT/create_nfa_api #patch
Python-Binding (build-&-test) #1495: Commit 4dc3664 pushed by Adda0
3m 27s devel
New remove_epsilon() for nfa
Python-Binding (build-&-test) #1491: Pull request #497 synchronize by jurajsic
New remove_epsilon() for nfa
Python-Binding (build-&-test) #1490: Pull request #497 opened by jurajsic
Merge pull request #492 from VeriFIT/fix-nft-apply #minor
Python-Binding (build-&-test) #1487: Commit 71f80d7 pushed by Adda0
3m 30s devel
Fix Nft::apply() and add version for Word
Python-Binding (build-&-test) #1486: Pull request #492 synchronize by jurajsic
3m 31s fix-nft-apply
Transducer noodlification
Python-Binding (build-&-test) #1484: Pull request #488 synchronize by jurajsic
Fix Nft::apply() and add version for Word
Python-Binding (build-&-test) #1483: Pull request #492 opened by jurajsic
4m 50s fix-nft-apply
Adding simulation reduction rules
Python-Binding (build-&-test) #1482: Pull request #487 synchronize by samo538
Adding simulation reduction rules
Python-Binding (build-&-test) #1481: Pull request #487 synchronize by samo538
Transducer noodlification
Python-Binding (build-&-test) #1480: Pull request #488 synchronize by jurajsic
Transducer noodlification
Python-Binding (build-&-test) #1479: Pull request #488 synchronize by jurajsic
Transducer noodlification
Python-Binding (build-&-test) #1478: Pull request #488 synchronize by jurajsic
Transducer noodlification
Python-Binding (build-&-test) #1477: Pull request #488 synchronize by jurajsic
Transducer noodlification
Python-Binding (build-&-test) #1476: Pull request #488 synchronize by jurajsic
Transducer noodlification
Python-Binding (build-&-test) #1475: Pull request #488 synchronize by jurajsic
ProTip! You can narrow down the results and go further in time using created:<2025-03-06 or the other filters available.