Skip to content

Merge pull request #977 from coq/ci-fix #1464

Merge pull request #977 from coq/ci-fix

Merge pull request #977 from coq/ci-fix #1464

Annotations

1 warning

create-release

succeeded Jan 14, 2025 in 6s
Set up job
1s
Checkout
2s
Inject slug/short variables
1s
Create language-server archive
0s
Release
0s
Post Checkout
0s
Complete job
0s