Coq

Merge pull request #103 from mit-plv/dependabot/submodules/bedrock2-0… #639

Sign in to view logs

Triggered via push March 19, 2024 05:05

master

Status Success

Total duration 1h 1m 19s

Artifacts –

coq.yml

on: push

Matrix: build