Test opam package

Bump hecrj/setup-rust-action from 1 to 2 (#1651) #650

Sign in to view logs

Triggered via push September 5, 2023 08:18

dependabot[bot]

master

Status Success

Total duration 2h 35m 8s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install