CI (Windows)

[ git ] Merge pull request #23 from agda/lsp-2 #153

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 30, 2024 08:20

banacorn

master

Status Success

Total duration 44m 33s

Artifacts –

test-windows.yaml

on: push