Add a daily workflow to fuzz the parser with randomly selected seeds (#11203)

This commit is contained in:
Alex Waygood 2024-04-29 17:54:17 +01:00 committed by GitHub
parent 87929ad5f1
commit 0ed7af35ec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 76 additions and 3 deletions

View file

@ -77,7 +77,7 @@ class FuzzResult:
if self.maybe_bug
else colored(f"Ran fuzzer successfully on seed {self.seed}", "green")
)
print(f"{msg:<55} {progress:>15}", flush=True)
print(f"{msg:<60} {progress:>15}", flush=True)
if self.maybe_bug:
print(colored("The following code triggers a bug:", "red"))
print()
@ -298,11 +298,12 @@ def parse_args() -> ResolvedCliArgs:
if not args.test_executable:
print(
"Running `cargo build --release` since no test executable was specified..."
"Running `cargo build --release` since no test executable was specified...",
flush=True,
)
try:
subprocess.run(
["cargo", "build", "--release", "--color", "always"],
["cargo", "build", "--release", "--locked", "--color", "always"],
check=True,
capture_output=True,
text=True,