Skip to content

Actions: anoma/vscode-juvix

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v0.2.5
CI #513: Release v0.2.5 published by lukaszcz
November 11, 2024 17:52 1m 47s
November 11, 2024 17:52 1m 47s
Fix error underlining and popup problems (#153)
CI #512: Commit 9f8150a pushed by lukaszcz
November 11, 2024 17:49 1m 6s main
November 11, 2024 17:49 1m 6s
Fix error underlining and popup problems
CI #511: Pull request #153 ready_for_review by lukaszcz
November 11, 2024 17:30 59s fix-extension
November 11, 2024 17:30 59s
Fix error underlining and popup problems
CI #510: Pull request #153 synchronize by lukaszcz
November 11, 2024 17:28 1m 9s fix-extension
November 11, 2024 17:28 1m 9s
version 0.6.8
CI #509: Commit 8726d27 pushed by lukaszcz
November 11, 2024 17:28 1m 5s fix-extension
November 11, 2024 17:28 1m 5s
Fix error underlining and popup problems
CI #508: Pull request #153 synchronize by lukaszcz
November 8, 2024 18:14 1m 0s fix-extension
November 8, 2024 18:14 1m 0s
--vscode option
CI #507: Commit 307bdbb pushed by lukaszcz
November 8, 2024 18:14 1m 1s fix-extension
November 8, 2024 18:14 1m 1s
Fix error underlining and popup problems
CI #506: Pull request #153 synchronize by lukaszcz
November 8, 2024 16:21 1m 13s fix-extension
November 8, 2024 16:21 1m 13s
wip
CI #505: Commit 78380de pushed by lukaszcz
November 8, 2024 16:21 1m 3s fix-extension
November 8, 2024 16:21 1m 3s
Fix error underlining and popup problems
CI #504: Pull request #153 opened by lukaszcz
November 7, 2024 21:03 1m 2s fix-extension
November 7, 2024 21:03 1m 2s
use task for typecheck-silent
CI #503: Commit 9582a58 pushed by lukaszcz
November 7, 2024 21:01 1m 8s fix-extension
November 7, 2024 21:01 1m 8s
Fixes #80: Update problem matcher
CI #502: Pull request #147 synchronize by jonaprieto
September 5, 2024 21:42 56s problem-matchers
September 5, 2024 21:42 56s
Make pre-commit happy
CI #501: Commit c585699 pushed by jonaprieto
September 5, 2024 21:42 1m 0s problem-matchers
September 5, 2024 21:42 1m 0s
Highlight matching parentheses (#148)
CI #500: Commit dcef5a2 pushed by jonaprieto
September 5, 2024 21:42 58s main
September 5, 2024 21:42 58s
Highlight matching parentheses
CI #499: Pull request #148 opened by lukaszcz
September 5, 2024 17:01 58s matching-paren-highlighting
September 5, 2024 17:01 58s
Highligh matching parentheses
CI #498: Commit e3a0aa9 pushed by lukaszcz
September 5, 2024 16:59 1m 3s matching-paren-highlighting
September 5, 2024 16:59 1m 3s
v0.2.4
CI #497: Release v0.2.4 published by jonaprieto
September 5, 2024 16:15 1m 46s
September 5, 2024 16:15 1m 46s
Fixes #80: Update problem matcher
CI #496: Pull request #147 synchronize by jonaprieto
September 5, 2024 13:40 1m 10s problem-matchers
September 5, 2024 13:40 1m 10s
Make pre-commit happy
CI #495: Commit d635418 pushed by jonaprieto
September 5, 2024 13:40 1m 5s problem-matchers
September 5, 2024 13:40 1m 5s
Fixes #80: Update problem matcher
CI #494: Pull request #147 opened by jonaprieto
September 5, 2024 13:40 53s problem-matchers
September 5, 2024 13:40 53s
Fix problem matcher
CI #493: Commit 9686819 pushed by jonaprieto
September 5, 2024 13:39 59s problem-matchers
September 5, 2024 13:39 59s
Mutex lock for asynchronous shell execution (#145)
CI #492: Commit 626e739 pushed by jonaprieto
September 5, 2024 12:54 1m 4s main
September 5, 2024 12:54 1m 4s
Mutex lock for asynchronous shell execution
CI #491: Pull request #145 synchronize by jonaprieto
September 5, 2024 12:53 58s async-shell-lock
September 5, 2024 12:53 58s
use reject instead of re-throwing exception
CI #490: Commit 094f304 pushed by jonaprieto
September 5, 2024 12:53 1m 8s async-shell-lock
September 5, 2024 12:53 1m 8s
Update upload/download/setup-python/setup-node CI actions (#146)
CI #489: Commit 4918627 pushed by jonaprieto
September 5, 2024 12:52 1m 6s main
September 5, 2024 12:52 1m 6s