Skip to content

Actions: ispras/cv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing dependencies for CVV Pylint #176: Commit ee56f8f pushed by vmordan
25s cvf
cvf
25s
Apply fix to github CI Deploy #167: Commit a2a88fe pushed by vmordan
37s cvf
cvf
37s
Apply fix to github CI Pylint #175: Commit a2a88fe pushed by vmordan
25s cvf
cvf
25s
Continuous Verification Framework Pylint #174: Commit 91b952d pushed by vmordan
27s cvf
cvf
27s
Continuous Verification Framework Deploy #166: Commit 91b952d pushed by vmordan
33s cvf
cvf
33s
Update documentation Deploy #165: Commit c152b63 pushed by vmordan
30m 15s master
master
30m 15s
Update documentation Pylint #173: Commit c152b63 pushed by vmordan
27s master
master
27s
Update CI configuration for CPAchecker and BenchExec Deploy #164: Commit 0f08b2f pushed by vmordan
36m 30s master
master
36m 30s
Update CI configuration for CPAchecker and BenchExec Pylint #172: Commit 0f08b2f pushed by vmordan
31s master
master
31s
Update CI config Deploy #163: Commit 60cfab5 pushed by vmordan
20m 50s master
master
20m 50s
Update CI config Pylint #171: Commit 60cfab5 pushed by vmordan
29s master
master
29s
Update CI config Pylint #170: Commit da57109 pushed by vmordan
30s master
master
30s
Update CI config Deploy #162: Commit da57109 pushed by vmordan
15m 41s master
master
15m 41s
Update CI config Pylint #169: Commit ee5864b pushed by vmordan
28s master
master
28s
Update CI config Deploy #161: Commit ee5864b pushed by vmordan
17m 59s master
master
17m 59s
Update CI config Deploy #160: Commit 36d6b79 pushed by vmordan
23m 37s master
master
23m 37s
Update CI config Pylint #168: Commit 36d6b79 pushed by vmordan
28s master
master
28s
Update CI config Deploy #159: Commit 22e52e9 pushed by vmordan
21m 42s master
master
21m 42s
Update CI config Pylint #167: Commit 22e52e9 pushed by vmordan
27s master
master
27s
Update CI config Pylint #166: Commit 8759bdc pushed by vmordan
31s master
master
31s
Update CI config Deploy #158: Commit 8759bdc pushed by vmordan
39m 54s master
master
39m 54s
Update CI config Pylint #165: Commit ab3db18 pushed by vmordan
28s master
master
28s
Update CI config Deploy #157: Commit ab3db18 pushed by vmordan
20m 14s master
master
20m 14s
Update CI config Pylint #164: Commit f0dd8d0 pushed by vmordan
28s master
master
28s
Update CI config Deploy #156: Commit f0dd8d0 pushed by vmordan
18m 24s master
master
18m 24s