!bench test pr

[Garmelon]

Just a pr to test the !bench command. Please ignore.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 05852d7 against 4daa96f are finished.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 05852d7 against 05852d7 are finished.

[Garmelon]

!bench

[leanprover-radar]

Failed to find a commit to compare against.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 05852d7 against 4daa96f are finished.

[leanprover-radar]

test

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 05852d7 against 4daa96f are in! @Garmelon

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for cb77c92 against 4daa96f are in! @Garmelon

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for cb77c92 against 4daa96f are in! @Garmelon

[Garmelon]

!bench

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for b944cac against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 8b64dd4 against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 1

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for b5d8fae against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 1

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for c349f50 against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 1

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 217cc3a against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 1

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 7efe4e2 against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 127

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 4e996a2 against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 1

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for cde96a6 against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 1

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 1d27d88 against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 139

No significant changes detected.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 0ca3102 against 32674f0 are in! @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 main exited with code 137

No significant changes detected.