Skip to content

coqide: rename to coq-platform, update #5276

coqide: rename to coq-platform, update

coqide: rename to coq-platform, update #5276

Triggered via pull request November 23, 2024 21:30
Status Success
Total duration 2m 8s
Artifacts 1

actionlint.yml

on: pull_request
workflow_syntax
1m 39s
workflow_syntax
upload_sarif
15s
upload_sarif
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
results.sarif
2.93 KB