Skip to content

Actions: anoma/vscode-juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
307 workflow runs
307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run npm run pretty CI #449: Commit c5d061f pushed by jonaprieto
September 2, 2024 19:24 2m 22s no-build-dir
no-build-dir
September 2, 2024 19:24 2m 22s
Codebase maintenance (#95) CI #448: Commit f3138af pushed by jonaprieto
September 2, 2024 19:24 2m 52s improving-highlight
improving-highlight
September 2, 2024 19:24 2m 52s
chore: Refactor task reveal options in JuvixTaskProvider CI #447: Commit c4af393 pushed by jonaprieto
September 2, 2024 19:24 2m 3s log-level-flag
log-level-flag
September 2, 2024 19:24 2m 3s
Update pre-commit CI #446: Commit e53378b pushed by jonaprieto
September 2, 2024 19:24 2m 44s refactor
refactor
September 2, 2024 19:24 2m 44s
Use format instead of dev scope CI #445: Commit e7bd190 pushed by jonaprieto
September 2, 2024 19:24 2m 39s use-format-command
use-format-command
September 2, 2024 19:24 2m 39s
Load extension only when loading a Juvix file CI #444: Commit d5e5f9f pushed by jonaprieto
September 2, 2024 19:24 2m 46s update-vamp-ir-support
update-vamp-ir-support
September 2, 2024 19:24 2m 46s
Make pre-commit happy CI #443: Commit e6df71c pushed by jonaprieto
September 2, 2024 19:24 2m 40s 73-documentation-button-is-now-broken
73-documentation-button-is-now-broken
September 2, 2024 19:24 2m 40s
Push on main CodeQL #242: by github-advanced-security bot
September 2, 2024 15:03 2m 9s
September 2, 2024 15:03 2m 9s
Add a new status bar item to indicate juvix command status and minors… CI #442: Commit 0a18cdb pushed by jonaprieto
September 2, 2024 15:03 55s main
main
September 2, 2024 15:03 55s
Scheduled CodeQL #241: by github-advanced-security bot
August 30, 2024 13:31 1m 32s
August 30, 2024 13:31 1m 32s
PR #140 CodeQL #240: by lukaszcz
August 30, 2024 08:39 1m 43s
August 30, 2024 08:39 1m 43s
Add a new status bar item to indicate juvix command status and minors CI #441: Pull request #140 synchronize by lukaszcz
August 30, 2024 08:39 59s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 08:39 59s
Fix trailing whitespace in statusbar.ts CI #440: Commit b3e9619 pushed by lukaszcz
August 30, 2024 08:39 57s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 08:39 57s
PR #140 CodeQL #239: by lukaszcz
August 30, 2024 08:37 1m 32s
August 30, 2024 08:37 1m 32s
Add a new status bar item to indicate juvix command status and minors CI #439: Pull request #140 synchronize by lukaszcz
August 30, 2024 08:37 54s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 08:37 54s
Update statusbar.ts CI #438: Commit e4586bd pushed by lukaszcz
August 30, 2024 08:37 1m 7s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 08:37 1m 7s
Add a new status bar item to indicate juvix command status and minors CI #437: Pull request #140 ready_for_review by jonaprieto
August 30, 2024 05:41 56s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 05:41 56s
PR #140 CodeQL #238: by jonaprieto
August 30, 2024 05:41 1m 35s
August 30, 2024 05:41 1m 35s
Add a new status bar item to indicate juvix command status and minors CI #436: Pull request #140 synchronize by jonaprieto
August 30, 2024 05:41 6s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 05:41 6s
Fix typos CI #435: Commit 2286c30 pushed by jonaprieto
August 30, 2024 05:41 52s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 05:41 52s
PR #140 CodeQL #237: by jonaprieto
August 30, 2024 05:26 1m 42s
August 30, 2024 05:26 1m 42s
Add a new status bar item to indicate juvix command status and minors CI #434: Pull request #140 synchronize by jonaprieto
August 30, 2024 05:26 52s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 05:26 52s
revert typecheck-silent, add diagonistic (multiple files) CI #433: Commit 3d32a30 pushed by jonaprieto
August 30, 2024 05:26 52s mark-typecheck-silent
mark-typecheck-silent
August 30, 2024 05:26 52s
PR #140 CodeQL #236: by jonaprieto
August 28, 2024 07:31 1m 16s
August 28, 2024 07:31 1m 16s
Add a new status bar item to indicate juvix command status and minors CI #432: Pull request #140 opened by jonaprieto
August 28, 2024 07:31 52s mark-typecheck-silent
mark-typecheck-silent
August 28, 2024 07:31 52s