Skip to content
static analysis

chore(dafny): let FileIO deal in uint8 rather than bv8 (#1746) #4356

Sign in to view logs

chore(dafny): let FileIO deal in uint8 rather than bv8 (#1746)

chore(dafny): let FileIO deal in uint8 rather than bv8 (#1746) #4356

Run time

Learn about OS pricing on GitHub Actions
Job Run time
not-grep
15s
15s