Skip to content

Actions: SVF-tools/Software-Security-Analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
345 workflow runs
345 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

new-commit-from-SVF Docker #339: Repository dispatch triggered by yuleisui
1h 20m 46s
1h 20m 46s
new-commit-from-SVF Docker #338: Repository dispatch triggered by yuleisui
1h 23m 49s
1h 23m 49s
fix ass2 Docker #337: Commit 7cbdcce pushed by bjjwwang
1h 20m 7s main
main
1h 20m 7s
fix ass2 build #257: Commit 7cbdcce pushed by bjjwwang
3m 23s main
main
3m 23s
new-commit-from-SVF Docker #336: Repository dispatch triggered by yuleisui
1h 21m 43s
1h 21m 43s
refactor checkNegateAssert Docker #335: Commit 372d3f8 pushed by bjjwwang
1h 22m 53s main
main
1h 22m 53s
refactor checkNegateAssert build #256: Commit 372d3f8 pushed by bjjwwang
2m 29s main
main
2m 29s
fix comments Docker #334: Commit 89097e1 pushed by bjjwwang
1h 24m 2s main
main
1h 24m 2s
fix comments build #255: Commit 89097e1 pushed by bjjwwang
3m 36s main
main
3m 36s
sync py with cpp build #254: Commit f478739 pushed by bjjwwang
4m 33s main
main
4m 33s
sync py with cpp Docker #333: Commit f478739 pushed by bjjwwang
1h 25m 43s main
main
1h 25m 43s
new-commit-from-SVF Docker #332: Repository dispatch triggered by yuleisui
1h 23m 38s
1h 23m 38s
new-commit-from-SVF Docker #331: Repository dispatch triggered by yuleisui
1h 21m 58s
1h 21m 58s
Update Assignment_1_Helper.py build #253: Commit ca3564f pushed by bjjwwang
2m 16s main
main
2m 16s
Update Assignment_1_Helper.py Docker #330: Commit ca3564f pushed by bjjwwang
1h 26m 9s main
main
1h 26m 9s
new-commit-from-SVF Docker #329: Repository dispatch triggered by yuleisui
1h 22m 7s
1h 22m 7s
sync ssa with SVF build #252: Commit 59fcc6e pushed by bjjwwang
2m 15s main
main
2m 15s
sync ssa with SVF Docker #328: Commit 59fcc6e pushed by bjjwwang
1h 23m 36s main
main
1h 23m 36s
new-commit-from-SVF Docker #327: Repository dispatch triggered by yuleisui
6m 25s
6m 25s
new-commit-from-SVF Docker #326: Repository dispatch triggered by yuleisui
1h 21m 23s
1h 21m 23s
new-commit-from-SVF Docker #325: Repository dispatch triggered by yuleisui
1h 22m 50s
1h 22m 50s
Update GraphAlgorithm.ipynb Docker #324: Commit ae35b3f pushed by yuleisui
1h 19m 35s main
main
1h 19m 35s
Update GraphAlgorithm.ipynb build #251: Commit ae35b3f pushed by yuleisui
3m 24s main
main
3m 24s
if SVF BUILD TYPE is Release but SSA BUILD TYPE is Debug, give warning build #250: Commit c6061f0 pushed by bjjwwang
2m 33s main
main
2m 33s
if SVF BUILD TYPE is Release but SSA BUILD TYPE is Debug, give warning Docker #323: Commit c6061f0 pushed by bjjwwang
1h 21m 44s main
main
1h 21m 44s