Skip to content

Actions: fmlab-iis/AutoQ

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
256 workflow runs
256 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add light_reduce_down_bisim()
C/C++ CI #89: Pull request #13 synchronize by ondrik
June 24, 2024 19:02 14m 12s ondrik:CTA_reduction
June 24, 2024 19:02 14m 12s
add light_reduce_down_bisim()
C/C++ CI #88: Pull request #13 synchronize by ondrik
June 24, 2024 18:43 14m 17s ondrik:CTA_reduction
June 24, 2024 18:43 14m 17s
add light_reduce_down_bisim()
C/C++ CI #87: Pull request #13 synchronize by ondrik
June 24, 2024 18:03 26m 47s ondrik:CTA_reduction
June 24, 2024 18:03 26m 47s
adjust CCX size in explicit_tree_aut_test.cc
C/C++ CI #86: Commit 77f39fe pushed by alan23273850
June 24, 2024 13:17 5m 16s CTA_topdown
June 24, 2024 13:17 5m 16s
June 24, 2024 13:07 4m 25s
add unittest hook
C/C++ CI #84: Commit 675fdda pushed by alan23273850
June 24, 2024 12:18 4m 34s CTA_topdown
June 24, 2024 12:18 4m 34s
ProTip! You can narrow down the results and go further in time using created:<2024-06-24 or the other filters available.