Compare commits
No commits in common. "aed358095fcbbfd6c01def18efaaf0d307de4f77" and "bced2517481216c08c1aa95eea97e69a266142a6" have entirely different histories.
aed358095f
...
bced251748
|
@ -2,5 +2,5 @@ How to run:
|
||||||
|
|
||||||
```
|
```
|
||||||
docker image build --quiet --tag runall-image .
|
docker image build --quiet --tag runall-image .
|
||||||
docker container run --tty --rm --read-only --memory=128m runall-image
|
docker container run --tty --rm --read-only --memory=6m runall-image
|
||||||
```
|
```
|
||||||
|
|
|
@ -70,7 +70,7 @@ def find_script(pairs, max_length):
|
||||||
print(f"Progress: {done_tasks}/{num_tasks}")
|
print(f"Progress: {done_tasks}/{num_tasks}")
|
||||||
|
|
||||||
if result:
|
if result:
|
||||||
print(f"> Found candidate: '{script}'")
|
print("> Found candidate:", script)
|
||||||
candidates.append(script)
|
candidates.append(script)
|
||||||
|
|
||||||
print("Candidates:", candidates)
|
print("Candidates:", candidates)
|
||||||
|
|
Loading…
Reference in New Issue