Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Composition without epsilon self-loops Python-Binding (build-&-test) #1702: Pull request #550 synchronize by koniksedy
4m 34s composition-wip
composition-wip
4m 34s
Merge pull request #564 from VeriFIT/get_words_with_lengths #patch Python-Binding (build-&-test) #1701: Commit f049292 pushed by Adda0
5m 38s devel
devel
5m 38s
Function to get accepting words of NFT tapes of specific lengths Python-Binding (build-&-test) #1700: Pull request #564 synchronize by jurajsic
5m 14s get_words_with_lengths
get_words_with_lengths
5m 14s
Merge pull request #566 from VeriFIT/fix_nft_epsilon_removal #patch Python-Binding (build-&-test) #1699: Commit 8df1634 pushed by Adda0
5m 42s devel
devel
5m 42s
Fix NFT epsilon removal Python-Binding (build-&-test) #1698: Pull request #566 opened by jurajsic
4m 4s fix_nft_epsilon_removal
fix_nft_epsilon_removal
4m 4s
Function to get accepting words of NFT tapes of specific lengths Python-Binding (build-&-test) #1697: Pull request #564 synchronize by jurajsic
4m 33s get_words_with_lengths
get_words_with_lengths
4m 33s
Composition without epsilon self-loops Python-Binding (build-&-test) #1696: Pull request #550 synchronize by koniksedy
4m 6s composition-wip
composition-wip
4m 6s
Composition without epsilon self-loops Python-Binding (build-&-test) #1695: Pull request #550 synchronize by koniksedy
4m 23s composition-wip
composition-wip
4m 23s
Composition without epsilon self-loops Python-Binding (build-&-test) #1694: Pull request #550 synchronize by koniksedy
4m 37s composition-wip
composition-wip
4m 37s
Composition without epsilon self-loops Python-Binding (build-&-test) #1693: Pull request #550 synchronize by koniksedy
4m 36s composition-wip
composition-wip
4m 36s
Composition without epsilon self-loops Python-Binding (build-&-test) #1692: Pull request #550 synchronize by koniksedy
5m 34s composition-wip
composition-wip
5m 34s
Function to get accepting words of NFT tapes of specific lengths Python-Binding (build-&-test) #1691: Pull request #564 synchronize by jurajsic
4m 28s get_words_with_lengths
get_words_with_lengths
4m 28s
Merge pull request #563 from VeriFIT/strings_app #minor Python-Binding (build-&-test) #1690: Commit 4258ce7 pushed by Adda0
4m 4s devel
devel
4m 4s
Function to get accepting words of NFT tapes of specific lengths Python-Binding (build-&-test) #1689: Pull request #564 synchronize by jurajsic
10m 48s get_words_with_lengths
get_words_with_lengths
10m 48s
Function to get accepting words of NFT tapes of specific lengths Python-Binding (build-&-test) #1688: Pull request #564 opened by jurajsic
2m 44s get_words_with_lengths
get_words_with_lengths
2m 44s
Move string solving stuff Python-Binding (build-&-test) #1687: Pull request #563 synchronize by jurajsic
4m 42s strings_app
strings_app
4m 42s
Composition without epsilon self-loops Python-Binding (build-&-test) #1686: Pull request #550 synchronize by koniksedy
4m 48s composition-wip
composition-wip
4m 48s
Composition without epsilon self-loops Python-Binding (build-&-test) #1685: Pull request #550 synchronize by koniksedy
3m 39s composition-wip
composition-wip
3m 39s
Composition without epsilon self-loops Python-Binding (build-&-test) #1684: Pull request #550 synchronize by koniksedy
3m 38s composition-wip
composition-wip
3m 38s
Move string solving stuff Python-Binding (build-&-test) #1683: Pull request #563 synchronize by jurajsic
7m 41s strings_app
strings_app
7m 41s
Move string solving stuff Python-Binding (build-&-test) #1682: Pull request #563 synchronize by jurajsic
3m 45s strings_app
strings_app
3m 45s
Move string solving stuff Python-Binding (build-&-test) #1681: Pull request #563 opened by jurajsic
4m 31s strings_app
strings_app
4m 31s
Composition without epsilon self-loops Python-Binding (build-&-test) #1680: Pull request #550 synchronize by koniksedy
4m 14s composition-wip
composition-wip
4m 14s
Composition without epsilon self-loops Python-Binding (build-&-test) #1679: Pull request #550 synchronize by koniksedy
4m 58s composition-wip
composition-wip
4m 58s
Composition without epsilon self-loops Python-Binding (build-&-test) #1678: Pull request #550 synchronize by koniksedy
4m 14s composition-wip
composition-wip
4m 14s