CI: Pin `syn` and `proc-macro2` versions for `[email protected]` #474

Sign in to view logs

Triggered via push April 16, 2024 09:01

fix-kani-2024-04-16/v0.12

Status Success

Total duration 1m 13s

Artifacts –

Kani.yml

on: push