Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sphinx update Python-Binding (build-&-test) #1603: Pull request #537 reopened by koniksedy
3m 30s autodoc
autodoc
3m 30s
sphinx update Python-Binding (build-&-test) #1602: Pull request #537 opened by koniksedy
3m 19s autodoc
autodoc
3m 19s
Merge pull request #536 from VeriFIT/autodoc #patch Python-Binding (build-&-test) #1601: Commit 9305ac2 pushed by Adda0
3m 18s devel
devel
3m 18s
Documentation Autogeneration Python-Binding (build-&-test) #1600: Pull request #536 opened by koniksedy
3m 43s autodoc
autodoc
3m 43s
Merge pull request #535 from VeriFIT/nfa2nft_bug #patch Python-Binding (build-&-test) #1599: Commit 8d307d9 pushed by Adda0
3m 21s devel
devel
3m 21s
Bug Fix in from_nfa_with_levels_zero Python-Binding (build-&-test) #1598: Pull request #535 synchronize by koniksedy
5m 10s nfa2nft_bug
nfa2nft_bug
5m 10s
Bug Fix in from_nfa_with_levels_zero Python-Binding (build-&-test) #1597: Pull request #535 synchronize by koniksedy
5m 20s nfa2nft_bug
nfa2nft_bug
5m 20s
Bug Fix in from_nfa_with_levels_zero Python-Binding (build-&-test) #1596: Pull request #535 opened by koniksedy
3m 40s nfa2nft_bug
nfa2nft_bug
3m 40s
Merge pull request #533 from VeriFIT/nft_one_letter #minor Python-Binding (build-&-test) #1595: Commit 58d258a pushed by Adda0
3m 50s devel
devel
3m 50s
NFT version of get_one_letter_aut() Python-Binding (build-&-test) #1594: Pull request #533 opened by jurajsic
4m 9s nft_one_letter
nft_one_letter
4m 9s
Merge pull request #526 from VeriFIT/from_nfa #minor Python-Binding (build-&-test) #1593: Commit 0ce458f pushed by Adda0
3m 46s devel
devel
3m 46s
Creating NFT from NFA Python-Binding (build-&-test) #1592: Pull request #526 synchronize by koniksedy
3m 35s from_nfa
from_nfa
3m 35s
Merge pull request #530 from VeriFIT/binding_bug #patch Python-Binding (build-&-test) #1591: Commit c75e3c1 pushed by Adda0
4m 3s devel
devel
4m 3s
Python Binding Fix Python-Binding (build-&-test) #1590: Pull request #530 opened by koniksedy
4m 18s binding_bug
binding_bug
4m 18s
Merge pull request #527 from VeriFIT/get_word_with_epsilon #patch Python-Binding (build-&-test) #1589: Commit b3c3fd2 pushed by Adda0
5m 25s devel
devel
5m 25s
Add option to keep epsilon in get_word() Python-Binding (build-&-test) #1588: Pull request #527 synchronize by jurajsic
4m 44s get_word_with_epsilon
get_word_with_epsilon
4m 44s
Creating NFT from NFA Python-Binding (build-&-test) #1587: Pull request #526 synchronize by koniksedy
2m 50s from_nfa
from_nfa
2m 50s
Add option to keep epsilon in get_word() Python-Binding (build-&-test) #1586: Pull request #527 opened by jurajsic
5m 18s get_word_with_epsilon
get_word_with_epsilon
5m 18s
Creating NFT from NFA Python-Binding (build-&-test) #1585: Pull request #526 opened by koniksedy
3m 35s from_nfa
from_nfa
3m 35s
Merge pull request #525 from VeriFIT/regex_parsing_fix #patch Python-Binding (build-&-test) #1584: Commit 86286aa pushed by Adda0
3m 30s devel
devel
3m 30s
Parsing Regexes with ^ and $ - Fix Python-Binding (build-&-test) #1583: Pull request #525 opened by koniksedy
3m 36s regex_parsing_fix
regex_parsing_fix
3m 36s
Merge pull request #522 from VeriFIT/nice_dot #minor Python-Binding (build-&-test) #1582: Commit eaf5fc4 pushed by Adda0
3m 33s devel
devel
3m 33s
Doxygen Documentation Generation Fix (#524) #patch Python-Binding (build-&-test) #1581: Commit 2ffb1c8 pushed by Adda0
3m 59s devel
devel
3m 59s
Doxygen Documentation Generation Fix Python-Binding (build-&-test) #1580: Pull request #524 synchronize by koniksedy
3m 23s doc_fix
doc_fix
3m 23s
Doxygen Documentation Generation Fix Python-Binding (build-&-test) #1579: Pull request #524 opened by koniksedy
4m 49s doc_fix
doc_fix
4m 49s