Skip to content

Actions: ucsb-seclab/greed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
393 workflow runs
393 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix build and remove unused debugging code Tests #87: Commit 6976c86 pushed by ruaronicola
September 28, 2023 19:05 2m 53s main
main
September 28, 2023 19:05 2m 53s
debugging actions Tests #86: Commit a9fc43c pushed by ruaronicola
September 28, 2023 16:52 1m 27s main
main
September 28, 2023 16:52 1m 27s
debug actions Tests #85: Commit 6079788 pushed by ruaronicola
September 28, 2023 06:48 1m 20s main
main
September 28, 2023 06:48 1m 20s
debug actions Tests #84: Commit 629a371 pushed by ruaronicola
September 28, 2023 06:28 3m 46s main
main
September 28, 2023 06:28 3m 46s
debug actions Tests #83: Commit 89a5b37 pushed by ruaronicola
September 27, 2023 21:55 2m 23s main
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
main
September 27, 2023 21:37 2m 26s
debugging actions Tests #81: Commit 60106e1 pushed by ruaronicola
September 27, 2023 21:33 54s main
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
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
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
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
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
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
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
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
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
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
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
main
August 8, 2023 06:10 2m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-08-08 or the other filters available.