Skip to content

Actions: costa-group/grey

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
550 workflow runs
550 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge branch 'main' into input_flags_processing SimpleTesting #1124: Commit 8ab79f6 pushed by alexcere
1m 21s input_flags_processing
input_flags_processing
1m 21s
minor in scripting SimpleTesting #1123: Commit 44ccced pushed by tutugordillo
1m 13s input_flags_processing
input_flags_processing
1m 13s
cleaning SimpleTesting #1122: Commit b741474 pushed by tutugordillo
1m 4s input_flags_processing
input_flags_processing
1m 4s
scripting SimpleTesting #1121: Commit 068613d pushed by tutugordillo
1m 14s input_flags_processing
input_flags_processing
1m 14s
Remove prints SimpleTesting #1120: Commit 039eba5 pushed by alexcere
1m 10s input_flags_processing
input_flags_processing
1m 10s
When only one VGET for a constant, assign the solution without the re… SimpleTesting #1119: Commit 0af6263 pushed by alexcere
1m 12s input_flags_processing
input_flags_processing
1m 12s
minor SimpleTesting #1118: Commit 1baeef0 pushed by tutugordillo
1m 8s input_flags_processing
input_flags_processing
1m 8s
Minor print SimpleTesting #1117: Commit acc9ba5 pushed by alexcere
1m 18s input_flags_processing
input_flags_processing
1m 18s
Merge branch 'input_flags_processing' of github.com:costa-group/grey … SimpleTesting #1116: Commit 920479d pushed by alexcere
1m 19s input_flags_processing
input_flags_processing
1m 19s
adding repair awk command SimpleTesting #1115: Commit f90e12f pushed by tutugordillo
1m 17s input_flags_processing
input_flags_processing
1m 17s
minor with examples SimpleTesting #1114: Commit 7747f3c pushed by tutugordillo
1m 10s input_flags_processing
input_flags_processing
1m 10s
Handle the case in which the function return has more values than MAX… SimpleTesting #1113: Commit 5968ce2 pushed by alexcere
1m 14s input_flags_processing
input_flags_processing
1m 14s
Replace VGET of constant variable by PUSH + constant SimpleTesting #1112: Commit da1e6c1 pushed by alexcere
1m 8s input_flags_processing
input_flags_processing
1m 8s
bypass selfdestruct action SimpleTesting #1111: Commit fa8a736 pushed by tutugordillo
1m 6s input_flags_processing
input_flags_processing
1m 6s
adapting SimpleTesting #1110: Commit 5c288d0 pushed by tutugordillo
1m 9s main
main
1m 9s
examples SimpleTesting #1109: Commit abf8248 pushed by tutugordillo
2m 42s main
main
2m 42s
renaming files SimpleTesting #1108: Commit 5616bfc pushed by tutugordillo
1m 8s input_flags_processing
input_flags_processing
1m 8s
Merge branch 'input_flags_processing' of github.com:costa-group/grey … SimpleTesting #1107: Commit bc2a272 pushed by tutugordillo
1m 28s input_flags_processing
input_flags_processing
1m 28s
Start working on stack layouts from solc SimpleTesting #1106: Commit 11b6dd5 pushed by alexcere
1m 10s input_flags_processing
input_flags_processing
1m 10s
Skip block combination for latch blocks that would result in mutual j… SimpleTesting #1105: Commit 87081d7 pushed by alexcere
1m 7s input_flags_processing
input_flags_processing
1m 7s
Set flag to true SimpleTesting #1104: Commit 9adee5b pushed by alexcere
1m 11s input_flags_processing
input_flags_processing
1m 11s
Missing input file SimpleTesting #1103: Commit b686fc2 pushed by alexcere
1m 11s input_flags_processing
input_flags_processing
1m 11s
Merge remote-tracking branch 'refs/remotes/origin/input_flags_process… SimpleTesting #1102: Commit 7bf2947 pushed by alexcere
1m 11s input_flags_processing
input_flags_processing
1m 11s
fixing output SimpleTesting #1101: Commit 42d6185 pushed by tutugordillo
1m 10s input_flags_processing
input_flags_processing
1m 10s
fixing output SimpleTesting #1100: Commit 38cc482 pushed by tutugordillo
1m 11s input_flags_processing
input_flags_processing
1m 11s