Merge pull request #3812 from weiznich/use_diagnostic_on_unimplemented #2950

Sign in to view logs

Triggered via push October 4, 2023 07:14

github-merge-queue[bot]

master

Status Success

Total duration 48m 17s

Artifacts –

ci.yml

on: push

Check rustfmt style && run clippy

Check sqlite bundled + Sqlite with asan

Check Minimal supported rust version (1.66.0)

Matrix: Check