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