Skip to content

Actions: tudasc/CoVer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix compilation CI #87: Commit 7c338ef pushed by N00byKing
12m 16s param_errors
param_errors
12m 16s
Offload basictypes to analysis CI #86: Commit 73e3b1f pushed by N00byKing
11m 27s param_errors
param_errors
11m 27s
Offload basictypes to analysis CI #85: Commit bae481a pushed by N00byKing
11m 31s param_errors
param_errors
11m 31s
Add allocation size specifiers CI #84: Commit fa2ec3e pushed by N00byKing
12m 5s param_errors
param_errors
12m 5s
Add secondary error reporting CI #83: Commit e05ea82 pushed by N00byKing
2m 12s param_errors
param_errors
2m 12s
Dont send uninit data in test CI #82: Commit 2ca8bd0 pushed by N00byKing
2m 3s param_errors
param_errors
2m 3s
Fix broken contracts CI #81: Commit 41c2600 pushed by N00byKing
2m 16s param_errors
param_errors
2m 16s
Fix broken contract CI #80: Commit 8256d50 pushed by N00byKing
2m 22s param_errors
param_errors
2m 22s
Support LLVM22 CI #79: Commit 545fecf pushed by N00byKing
13m 43s param_errors
param_errors
13m 43s
Concretize removal of mapping paramacc better for fortran CI #78: Commit edca00b pushed by N00byKing
3m 4s param_errors
param_errors
3m 4s
Support use-after-free error detection CI #77: Commit 1c787d2 pushed by N00byKing
2m 34s param_errors
param_errors
2m 34s
CI CI #76: by N00byKing
2m 3s param_errors
param_errors
2m 3s
Fix FP in allocanalysis for C CI #75: Commit 21ee51e pushed by N00byKing
2m 14s param_errors
param_errors
2m 14s
Move some output to debug only CI #74: Commit 3bbac66 pushed by N00byKing
2m 10s param_errors
param_errors
2m 10s
Add more contracts CI #73: Commit 9e0d689 pushed by N00byKing
1m 54s param_errors
param_errors
1m 54s
Update github actions CI #72: Commit 077f932 pushed by N00byKing
2m 13s param_errors
param_errors
2m 13s
Fix UB CI #71: Commit 834acd6 pushed by N00byKing
13m 27s param_errors
param_errors
13m 27s
Fix error maybe probably CI #70: Commit 297b715 pushed by N00byKing
13m 34s param_errors
param_errors
13m 34s
Add test for param CI #69: Commit 224e479 pushed by N00byKing
12m 38s param_errors
param_errors
12m 38s
Consistently use implicit none in fortran tests CI #68: Commit 793f225 pushed by N00byKing
12m 30s param_errors
param_errors
12m 30s
Add more contracts CI #67: Commit 4ab0f66 pushed by N00byKing
12m 34s param_errors
param_errors
12m 34s
Fix dynamic analysis instr CI #66: Commit decdc0e pushed by N00byKing
12m 50s param_errors
param_errors
12m 50s
Fix compilation when disabling unity build, and disable unity build i… CI #65: Commit e1c3fff pushed by N00byKing
12m 29s param_errors
param_errors
12m 29s
Cleanup param verification CI #64: Commit 5bdc9cb pushed by N00byKing
13m 47s param_errors
param_errors
13m 47s
Testing CI #63: Pull request #4 synchronize by N00byKing
2m 25s testing
testing
2m 25s