Merge pull request #126 from korpling/fix/map-annos #437

Sign in to view logs

Triggered via push August 14, 2023 14:45

github-merge-queue[bot]

gh-readonly-queue/main/pr-126-44f710c6fe116126be53eca2c4353feeee542ce9

Status Success

Total duration 2m 47s

Artifacts –

rust.yml

on: push

Static code analysis