Skip to content
Back to pull request #191558

Merge branch 'master' into coqide-rename-and-updates #3711

Sign in to view logs

Merge branch 'master' into coqide-rename-and-updates

Merge branch 'master' into coqide-rename-and-updates #3711

Triggered via push November 23, 2024 21:30
@p-linnanep-linnane
pushed 3bb1124
coqide-rename-and-updates
Status Success
Total duration 15s
Artifacts –

stale-issues.yml

on: push
stale
6s
stale
bump-pr-stale
6s
bump-pr-stale
Fit to window
Zoom out
Zoom in