Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-binding.yml
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix reduce and remove_epsilon for NFTs Python-Binding (build-&-test) #1499: Pull request #498 synchronize by jurajsic
3m 54s fix_some_nft_operations
fix_some_nft_operations
3m 54s
Fix reduce and remove_epsilon for NFTs Python-Binding (build-&-test) #1498: Pull request #498 synchronize by jurajsic
10m 6s fix_some_nft_operations
fix_some_nft_operations
10m 6s
Fix reduce and remove_epsilon for NFTs Python-Binding (build-&-test) #1497: Pull request #498 synchronize by jurajsic
4m 11s fix_some_nft_operations
fix_some_nft_operations
4m 11s
Fix reduce and remove_epsilon for NFTs Python-Binding (build-&-test) #1496: Pull request #498 opened by jurajsic
3m 46s fix_some_nft_operations
fix_some_nft_operations
3m 46s
Merge pull request #494 from VeriFIT/create_nfa_api #patch Python-Binding (build-&-test) #1495: Commit 4dc3664 pushed by Adda0
3m 27s devel
devel
3m 27s
Create builder function that creates NFA from regex Python-Binding (build-&-test) #1494: Pull request #494 synchronize by jurajsic
4m 30s create_nfa_api
create_nfa_api
4m 30s
Create builder function that creates NFA from regex Python-Binding (build-&-test) #1493: Pull request #494 synchronize by jurajsic
4m 16s create_nfa_api
create_nfa_api
4m 16s
Create builder function that creates NFA from regex Python-Binding (build-&-test) #1492: Pull request #494 synchronize by jurajsic
3m 35s create_nfa_api
create_nfa_api
3m 35s
New remove_epsilon() for nfa Python-Binding (build-&-test) #1491: Pull request #497 synchronize by jurajsic
3m 52s new_remove_epsilon
new_remove_epsilon
3m 52s
New remove_epsilon() for nfa Python-Binding (build-&-test) #1490: Pull request #497 opened by jurajsic
3m 24s new_remove_epsilon
new_remove_epsilon
3m 24s
Create builder function that creates NFA from regex Python-Binding (build-&-test) #1489: Pull request #494 synchronize by jurajsic
3m 51s create_nfa_api
create_nfa_api
3m 51s
Create builder function that creates NFA from regex Python-Binding (build-&-test) #1488: Pull request #494 opened by jurajsic
2m 37s create_nfa_api
create_nfa_api
2m 37s
Merge pull request #492 from VeriFIT/fix-nft-apply #minor Python-Binding (build-&-test) #1487: Commit 71f80d7 pushed by Adda0
3m 30s devel
devel
3m 30s
Fix Nft::apply() and add version for Word Python-Binding (build-&-test) #1486: Pull request #492 synchronize by jurajsic
3m 31s fix-nft-apply
fix-nft-apply
3m 31s
Merge pull request #488 from VeriFIT/transducer_noodlification #minor Python-Binding (build-&-test) #1485: Commit 01448f3 pushed by Adda0
3m 43s devel
devel
3m 43s
Transducer noodlification Python-Binding (build-&-test) #1484: Pull request #488 synchronize by jurajsic
4m 57s transducer_noodlification
transducer_noodlification
4m 57s
Fix Nft::apply() and add version for Word Python-Binding (build-&-test) #1483: Pull request #492 opened by jurajsic
4m 50s fix-nft-apply
fix-nft-apply
4m 50s
Adding simulation reduction rules Python-Binding (build-&-test) #1482: Pull request #487 synchronize by samo538
3m 5s samo538:sim_rt
samo538:sim_rt
3m 5s
Adding simulation reduction rules Python-Binding (build-&-test) #1481: Pull request #487 synchronize by samo538
4m 55s samo538:sim_rt
samo538:sim_rt
4m 55s
Transducer noodlification Python-Binding (build-&-test) #1480: Pull request #488 synchronize by jurajsic
3m 26s transducer_noodlification
transducer_noodlification
3m 26s
Transducer noodlification Python-Binding (build-&-test) #1479: Pull request #488 synchronize by jurajsic
3m 37s transducer_noodlification
transducer_noodlification
3m 37s
Transducer noodlification Python-Binding (build-&-test) #1478: Pull request #488 synchronize by jurajsic
3m 19s transducer_noodlification
transducer_noodlification
3m 19s
Transducer noodlification Python-Binding (build-&-test) #1477: Pull request #488 synchronize by jurajsic
3m 39s transducer_noodlification
transducer_noodlification
3m 39s
Transducer noodlification Python-Binding (build-&-test) #1476: Pull request #488 synchronize by jurajsic
3m 31s transducer_noodlification
transducer_noodlification
3m 31s
Transducer noodlification Python-Binding (build-&-test) #1475: Pull request #488 synchronize by jurajsic
4m 54s transducer_noodlification
transducer_noodlification
4m 54s
ProTip! You can narrow down the results and go further in time using created:<2025-03-06 or the other filters available.