Merge pull request #89 from mit-plv/dependabot/github_actions/actions… #636

Sign in to view logs

Triggered via push March 19, 2024 01:16

master

Status Success

Total duration 4m 29s

Artifacts –

coq.yml

on: push

Matrix: build