Allow creation of &dyn ClauseDatabase
#281
Annotations
1 error and 1 warning
|
Run clippy
Process completed with exit code 101.
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Set up job
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/checkout@v4
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install Rust toolchain and clippy
10s
10s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run clippy
52s
52s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run clippy with all features
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Install Rust toolchain and clippy
2m 15s
2m 15s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/checkout@v4
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading