Skip to content

Actions: VeriFIT/kofola

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #24 from VeriFIT/fix-types-param Various platforms (build-&-test) #126: Commit f916ecc pushed by vhavlena
18m 29s devel
devel
18m 29s
fix: replace assertion with output_scc_info call in main function Various platforms (build-&-test) #125: Pull request #24 synchronize by vhavlena
39m 35s fix-types-param
fix-types-param
39m 35s
fix: replace assertion with output_scc_info call in main function Various platforms (build-&-test) #124: Pull request #24 opened by vhavlena
25m 36s fix-types-param
fix-types-param
25m 36s
Sgra emptiness Various platforms (build-&-test) #123: Pull request #22 synchronize by OndrejAlexaj
36m 48s sgra-emptiness
sgra-emptiness
36m 48s
Sgra emptiness Various platforms (build-&-test) #122: Pull request #22 opened by OndrejAlexaj
28m 40s sgra-emptiness
sgra-emptiness
28m 40s
Merge pull request #21 from VeriFIT/readme-param-update Various platforms (build-&-test) #121: Commit ec916f7 pushed by vhavlena
31m 40s devel
devel
31m 40s
README: minor update Various platforms (build-&-test) #120: Pull request #21 opened by vhavlena
30m 41s readme-param-update
readme-param-update
30m 41s
Merge pull request #20 from VeriFIT/fix-debug-script Various platforms (build-&-test) #119: Commit 97174bd pushed by vhavlena
24m 17s devel
devel
24m 17s
Merge pull request #17 from VeriFIT/fix-bug-runs-bound Various platforms (build-&-test) #118: Commit c2140aa pushed by vhavlena
23m 12s devel
devel
23m 12s
Fix computation of max number of runs inside IADAC partition Various platforms (build-&-test) #117: Pull request #17 synchronize by vhavlena
21m 41s fix-bug-runs-bound
fix-bug-runs-bound
21m 41s
Fix: Debug script Various platforms (build-&-test) #116: Pull request #20 opened by vhavlena
20m 34s fix-debug-script
fix-debug-script
20m 34s
Merge pull request #16 from VeriFIT/tweak-sh-br Various platforms (build-&-test) #115: Commit c1f5c28 pushed by vhavlena
31m 1s devel
devel
31m 1s
Enable spot's complementation in KOFOLA Various platforms (build-&-test) #114: Pull request #19 synchronize by OndrejAlexaj
31m 31s spot-compl-option
spot-compl-option
31m 31s
Enable spot's complementation in KOFOLA Various platforms (build-&-test) #113: Pull request #19 synchronize by OndrejAlexaj
20m 52s spot-compl-option
spot-compl-option
20m 52s
Enable spot's complementation in KOFOLA Various platforms (build-&-test) #112: Pull request #19 opened by OndrejAlexaj
23m 51s spot-compl-option
spot-compl-option
23m 51s
Enable spot's complementation in KOFOLA Various platforms (build-&-test) #111: Pull request #18 opened by OndrejAlexaj
38m 11s spot-compl-option
spot-compl-option
38m 11s
Fix computation of max number of runs inside IADAC partition Various platforms (build-&-test) #110: Pull request #17 opened by OndrejAlexaj
42m 47s fix-bug-runs-bound
fix-bug-runs-bound
42m 47s
Shared breakpoint in the root Various platforms (build-&-test) #109: Pull request #16 synchronize by OndrejAlexaj
42m 42s tweak-sh-br
tweak-sh-br
42m 42s
Shared breakpoint in the root Various platforms (build-&-test) #108: Pull request #16 synchronize by vhavlena
20m 47s tweak-sh-br
tweak-sh-br
20m 47s
Shared breakpoint in the root Various platforms (build-&-test) #107: Pull request #16 synchronize by vhavlena
35m 19s tweak-sh-br
tweak-sh-br
35m 19s
Shared breakpoint in the root Various platforms (build-&-test) #106: Pull request #16 synchronize by OndrejAlexaj
26m 25s tweak-sh-br
tweak-sh-br
26m 25s
Shared breakpoint in the root Various platforms (build-&-test) #105: Pull request #16 synchronize by OndrejAlexaj
20m 12s tweak-sh-br
tweak-sh-br
20m 12s
Shared breakpoint in the root Various platforms (build-&-test) #104: Pull request #16 synchronize by OndrejAlexaj
36m 17s tweak-sh-br
tweak-sh-br
36m 17s
Shared breakpoint in the root Various platforms (build-&-test) #103: Pull request #16 synchronize by OndrejAlexaj
44m 30s tweak-sh-br
tweak-sh-br
44m 30s
Shared breakpoint in the root Various platforms (build-&-test) #102: Pull request #16 synchronize by OndrejAlexaj
22m 43s tweak-sh-br
tweak-sh-br
22m 43s