Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #541 from VeriFIT/renaming #minor Python-Binding (build-&-test) #1629: Commit 56a4259 pushed by Adda0
3m 27s devel
devel
3m 27s
Merge pull request #542 from VeriFIT/nft_concatenate_eps #patch Python-Binding (build-&-test) #1628: Commit 83cc624 pushed by Adda0
3m 21s devel
devel
3m 21s
add python annotation files Python-Binding (build-&-test) #1627: Pull request #543 opened by ImpleLee
3m 27s ImpleLee:add-pyi
ImpleLee:add-pyi
3m 27s
Fix mata::nft::algorithms::concatenate_eps Python-Binding (build-&-test) #1626: Pull request #542 synchronize by jurajsic
3m 37s nft_concatenate_eps
nft_concatenate_eps
3m 37s
Fix mata::nft::algorithms::concatenate_eps Python-Binding (build-&-test) #1625: Pull request #542 opened by jurajsic
3m 42s nft_concatenate_eps
nft_concatenate_eps
3m 42s
Merge pull request #540 from VeriFIT/use_of_epsilon #patch Python-Binding (build-&-test) #1624: Commit 18ad594 pushed by Adda0
3m 43s devel
devel
3m 43s
Renaming of make/get_one_level_aut method. Python-Binding (build-&-test) #1623: Pull request #541 synchronize by koniksedy
4m 29s renaming
renaming
4m 29s
Renaming of make/get_one_level_aut method. Python-Binding (build-&-test) #1622: Pull request #541 synchronize by koniksedy
3m 29s renaming
renaming
3m 29s
Renaming of make/get_one_level_aut method. Python-Binding (build-&-test) #1621: Pull request #541 opened by koniksedy
3m 32s renaming
renaming
3m 32s
Version of Post Returning const StateSet& Python-Binding (build-&-test) #1620: Pull request #540 opened by koniksedy
3m 37s use_of_epsilon
use_of_epsilon
3m 37s
GA Documentation Generation Fix (#539) #patch Python-Binding (build-&-test) #1619: Commit 6cd6831 pushed by Adda0
3m 34s devel
devel
3m 34s
GA Documentation Generation Fix Python-Binding (build-&-test) #1618: Pull request #539 synchronize by koniksedy
3m 19s autodoc
autodoc
3m 19s
GA Documentation Generation Fix Python-Binding (build-&-test) #1617: Pull request #539 synchronize by koniksedy
4m 26s autodoc
autodoc
4m 26s
GA Documentation Generation Fix Python-Binding (build-&-test) #1616: Pull request #539 synchronize by koniksedy
4m 38s autodoc
autodoc
4m 38s
GA Documentation Generation Fix Python-Binding (build-&-test) #1615: Pull request #539 synchronize by koniksedy
3m 34s autodoc
autodoc
3m 34s
GA Documentation Generation Fix Python-Binding (build-&-test) #1614: Pull request #539 synchronize by koniksedy
3m 30s autodoc
autodoc
3m 30s
GA Documentation Generation Fix Python-Binding (build-&-test) #1613: Pull request #539 synchronize by koniksedy
5m 19s autodoc
autodoc
5m 19s
GA Documentation Generation Fix Python-Binding (build-&-test) #1612: Pull request #539 synchronize by koniksedy
3m 40s autodoc
autodoc
3m 40s
GA Documentation Generation Fix Python-Binding (build-&-test) #1611: Pull request #539 opened by koniksedy
4m 15s autodoc
autodoc
4m 15s
Merge pull request #538 from VeriFIT/update Python-Binding (build-&-test) #1610: Commit f2a86c4 pushed by koniksedy
4m 37s devel
devel
4m 37s
Update Python-Binding (build-&-test) #1609: Pull request #538 opened by koniksedy
3m 46s update
update
3m 46s
sphinx update Python-Binding (build-&-test) #1608: Pull request #537 synchronize by koniksedy
3m 28s autodoc
autodoc
3m 28s
sphinx update Python-Binding (build-&-test) #1607: Pull request #537 synchronize by koniksedy
3m 21s autodoc
autodoc
3m 21s
sphinx update Python-Binding (build-&-test) #1606: Pull request #537 synchronize by koniksedy
3m 41s autodoc
autodoc
3m 41s
sphinx update Python-Binding (build-&-test) #1605: Pull request #537 synchronize by koniksedy
3m 28s autodoc
autodoc
3m 28s