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

[WIP] Select reduction algorithm in noodlifications Python-Binding (build-&-test) #1578: Pull request #520 synchronize by jurajsic
3m 31s change_reduce_in_strings
change_reduce_in_strings
3m 31s
[WIP] Select reduction algorithm in noodlifications Python-Binding (build-&-test) #1577: Pull request #520 synchronize by jurajsic
2m 2s change_reduce_in_strings
change_reduce_in_strings
2m 2s
[WIP] Select reduction algorithm in noodlifications Python-Binding (build-&-test) #1576: Pull request #520 synchronize by jurajsic
1m 48s change_reduce_in_strings
change_reduce_in_strings
1m 48s
Implementation of Features from #489 Python-Binding (build-&-test) #1575: Pull request #522 synchronize by koniksedy
3m 34s nice_dot
nice_dot
3m 34s
Implementation of Features from #489 Python-Binding (build-&-test) #1574: Pull request #522 synchronize by koniksedy
4m 40s nice_dot
nice_dot
4m 40s
Merge pull request #521 from VeriFIT/xdot #minor Python-Binding (build-&-test) #1573: Commit 2818676 pushed by Adda0
3m 27s devel
devel
3m 27s
Implementation of Features from #489 Python-Binding (build-&-test) #1572: Pull request #522 synchronize by koniksedy
3m 34s nice_dot
nice_dot
3m 34s
Circle around useless states in DOT Python-Binding (build-&-test) #1571: Pull request #521 synchronize by koniksedy
4m 18s xdot
xdot
4m 18s
Implementation of Features from #489 Python-Binding (build-&-test) #1570: Pull request #522 synchronize by koniksedy
4m 19s nice_dot
nice_dot
4m 19s
Github Actions - update versions (#523) Python-Binding (build-&-test) #1569: Commit 7f2e674 pushed by Adda0
3m 31s devel
devel
3m 31s
Github Actions - update versions Python-Binding (build-&-test) #1568: Pull request #523 synchronize by koniksedy
3m 40s git_actions
git_actions
3m 40s
Github Actions - update versions Python-Binding (build-&-test) #1567: Pull request #523 synchronize by koniksedy
3m 29s git_actions
git_actions
3m 29s
Github Actions - update versions Python-Binding (build-&-test) #1566: Pull request #523 synchronize by koniksedy
3m 35s git_actions
git_actions
3m 35s
Github Actions - update versions Python-Binding (build-&-test) #1565: Pull request #523 opened by koniksedy
3m 32s git_actions
git_actions
3m 32s
Implementation of Features from #489 Python-Binding (build-&-test) #1564: Pull request #522 synchronize by koniksedy
21s nice_dot
nice_dot
21s
Implementation of Features from #489 Python-Binding (build-&-test) #1563: Pull request #522 synchronize by koniksedy
19s nice_dot
nice_dot
19s
Implementation of Features from #489 Python-Binding (build-&-test) #1562: Pull request #522 synchronize by koniksedy
15s nice_dot
nice_dot
15s
Implementation of Features from #489 Python-Binding (build-&-test) #1561: Pull request #522 opened by koniksedy
15s nice_dot
nice_dot
15s
Circle around useless states in DOT Python-Binding (build-&-test) #1560: Pull request #521 opened by koniksedy
18s xdot
xdot
18s
[WIP] Select reduction algorithm in noodlifications Python-Binding (build-&-test) #1559: Pull request #520 synchronize by jurajsic
18s change_reduce_in_strings
change_reduce_in_strings
18s
[WIP] Enum arguments for reduce() Python-Binding (build-&-test) #1558: Pull request #519 synchronize by jurajsic
17s reduce_arguments
reduce_arguments
17s
[WIP] Select reduction algorithm in noodlifications Python-Binding (build-&-test) #1557: Pull request #520 opened by jurajsic
2m 14s change_reduce_in_strings
change_reduce_in_strings
2m 14s
[WIP] Enum arguments for reduce() Python-Binding (build-&-test) #1556: Pull request #519 opened by jurajsic
3m 13s reduce_arguments
reduce_arguments
3m 13s
Merge pull request #518 from VeriFIT/sim_red_public #minor Python-Binding (build-&-test) #1555: Commit db64544 pushed by Adda0
4m 28s devel
devel
4m 28s
Add simulation reduction to the public interface Python-Binding (build-&-test) #1554: Pull request #518 synchronize by jurajsic
3m 32s sim_red_public
sim_red_public
3m 32s