Skip to content

Actions: VeriFIT/kofola

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #7 from VeriFIT/tela-args Various platforms (build-&-test) #47: Commit 5637ba8 pushed by vhavlena
31m 38s devel
devel
31m 38s
Params: add dnf-tela parameter Various platforms (build-&-test) #46: Pull request #7 opened by vhavlena
31m 48s tela-args
tela-args
31m 48s
Merge pull request #6 from VeriFIT/elev-preproc Various platforms (build-&-test) #45: Commit acca3cd pushed by vhavlena
39m 29s devel
devel
39m 29s
add preprocessing after elevatorization Various platforms (build-&-test) #44: Pull request #6 opened by OndrejAlexaj
26m 11s elev-preproc
elev-preproc
26m 11s
Merge pull request #4 from VeriFIT/elevatorization Various platforms (build-&-test) #43: Commit fed267c pushed by vhavlena
31m 54s devel
devel
31m 54s
Elevatorization Various platforms (build-&-test) #42: Pull request #4 synchronize by OndrejAlexaj
29m 57s elevatorization
elevatorization
29m 57s
Elevatorization Various platforms (build-&-test) #41: Pull request #4 synchronize by OndrejAlexaj
38m 49s elevatorization
elevatorization
38m 49s
Elevatorization Various platforms (build-&-test) #40: Pull request #4 synchronize by OndrejAlexaj
36m 39s elevatorization
elevatorization
36m 39s
Elevatorization Various platforms (build-&-test) #39: Pull request #4 synchronize by vhavlena
24m 15s elevatorization
elevatorization
24m 15s
Merge pull request #5 from VeriFIT/fix-tela-inductive Various platforms (build-&-test) #38: Commit 56c46a2 pushed by vhavlena
24m 5s devel
devel
24m 5s
Fix: TELA inductive Various platforms (build-&-test) #37: Pull request #5 synchronize by vhavlena
23m 29s fix-tela-inductive
fix-tela-inductive
23m 29s
Fix: TELA inductive Various platforms (build-&-test) #36: Pull request #5 synchronize by vhavlena
26m 16s fix-tela-inductive
fix-tela-inductive
26m 16s
Fix: TELA inductive Various platforms (build-&-test) #35: Pull request #5 synchronize by vhavlena
26m 3s fix-tela-inductive
fix-tela-inductive
26m 3s
Fix: TELA inductive Various platforms (build-&-test) #34: Pull request #5 synchronize by vhavlena
51s fix-tela-inductive
fix-tela-inductive
51s
Fix: TELA inductive Various platforms (build-&-test) #33: Pull request #5 synchronize by vhavlena
37s fix-tela-inductive
fix-tela-inductive
37s
Elevatorization Various platforms (build-&-test) #32: Pull request #4 synchronize by OndrejAlexaj
26m 52s elevatorization
elevatorization
26m 52s
Fix: TELA inductive Various platforms (build-&-test) #31: Pull request #5 synchronize by vhavlena
48m 12s fix-tela-inductive
fix-tela-inductive
48m 12s
Elevatorization Various platforms (build-&-test) #30: Pull request #4 synchronize by OndrejAlexaj
1h 10m 16s elevatorization
elevatorization
1h 10m 16s
Elevatorization Various platforms (build-&-test) #29: Pull request #4 synchronize by OndrejAlexaj
1h 3m 33s elevatorization
elevatorization
1h 3m 33s
Elevatorization Various platforms (build-&-test) #28: Pull request #4 synchronize by OndrejAlexaj
55m 28s elevatorization
elevatorization
55m 28s
Elevatorization Various platforms (build-&-test) #27: Pull request #4 synchronize by OndrejAlexaj
50m 2s elevatorization
elevatorization
50m 2s
Fix: TELA inductive Various platforms (build-&-test) #26: Pull request #5 opened by vhavlena
54m 12s fix-tela-inductive
fix-tela-inductive
54m 12s
Elevatorization Various platforms (build-&-test) #25: Pull request #4 synchronize by OndrejAlexaj
28m 48s elevatorization
elevatorization
28m 48s
Elevatorization Various platforms (build-&-test) #24: Pull request #4 opened by OndrejAlexaj
34m 23s elevatorization
elevatorization
34m 23s
Merge pull request #3 from VeriFIT/tela-induction Various platforms (build-&-test) #23: Commit e45e8d7 pushed by vhavlena
32m 11s devel
devel
32m 11s