Skip to content

Actions: ucsb-seclab/greed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow run results
14 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

debug actions
Tests #83: Commit 89a5b37 pushed by ruaronicola
September 27, 2023 21:55 2m 23s main
September 27, 2023 21:55 2m 23s
debug actions
Tests #82: Commit 79e8fd8 pushed by ruaronicola
September 27, 2023 21:37 2m 26s main
September 27, 2023 21:37 2m 26s
debugging actions
Tests #81: Commit 60106e1 pushed by ruaronicola
September 27, 2023 21:33 54s main
September 27, 2023 21:33 54s
more poor man debugging github actions
Tests #80: Commit fb665eb pushed by ruaronicola
September 27, 2023 19:19 2m 27s main
September 27, 2023 19:19 2m 27s
more poor man debugging github actions
Tests #79: Commit c958288 pushed by ruaronicola
September 27, 2023 19:12 2m 27s main
September 27, 2023 19:12 2m 27s
poor man debugging github actions
Tests #78: Commit 2b6d9aa pushed by ruaronicola
September 27, 2023 18:53 2m 58s main
September 27, 2023 18:53 2m 58s
clean setup.sh
Tests #77: Commit e0af7ba pushed by ruaronicola
September 27, 2023 18:40 3m 14s main
September 27, 2023 18:40 3m 14s
fix error in setup.sh
Tests #76: Commit 84b82bf pushed by ruaronicola
September 27, 2023 17:10 2m 25s main
September 27, 2023 17:10 2m 25s
add some corner cases for MstoreConcretizer
Tests #75: Commit de878a8 pushed by ruaronicola
September 27, 2023 17:09 1m 24s main
September 27, 2023 17:09 1m 24s
make clean yices, update gigahorse client
Tests #74: Commit 68ce948 pushed by ruaronicola
August 24, 2023 06:28 1m 27s main
August 24, 2023 06:28 1m 27s
try with PYTHONPATH
Tests #73: Commit 4e336cd pushed by ruaronicola
August 8, 2023 18:15 2m 44s main
August 8, 2023 18:15 2m 44s
make yices build more resilient
Tests #72: Commit fae1a8b pushed by ruaronicola
August 8, 2023 17:56 2m 50s main
August 8, 2023 17:56 2m 50s
debug output for setup.sh
Tests #71: Commit da1552b pushed by ruaronicola
August 8, 2023 17:17 2m 35s main
August 8, 2023 17:17 2m 35s
bump gigahorse version, update setup
Tests #70: Commit 5ca5c3f pushed by ruaronicola
August 8, 2023 06:10 2m 51s main
August 8, 2023 06:10 2m 51s