Skip to content

Actions: bamboo/idris2-lsp-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support configuration for picking a particular ipkg file CI #4: Pull request #25 opened by Russoul
November 29, 2024 15:23 Action required Russoul:multi-ipkg
Russoul:multi-ipkg
November 29, 2024 15:23 Action required
feat: update deps, add idris2-lsp.metavars command to show menu to ju… CI #3: Commit 1e93392 pushed by srghma
November 2, 2024 07:33 23s main
main
November 2, 2024 07:33 23s
feat: update deps, add idris2-lsp.metavars command to show menu to ju… CI #2: Commit c75153c pushed by srghma
November 2, 2024 07:32 24s main
main
November 2, 2024 07:32 24s
feat: update deps, add idris2-lsp.metavars command to show menu to ju… CI #1: Commit 94a49b7 pushed by srghma
November 2, 2024 07:31 26s main
main
November 2, 2024 07:31 26s