Deploy Jekyll site to Pages

Feat: Dafny-to-Rust code indentation and identifiers (#4974) #39

Sign in to view logs

Triggered via push February 7, 2024 00:38

Status Failure

Total duration 9s

Artifacts –

jekyll.yml

on: push

Annotations

1 error

Unable to resolve action `ruby/setup-ruby@1`, unable to find version `1`