Skip to content

Actions: anoma/vscode-juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix formatter
CI #451: Commit b85b3da pushed by jonaprieto
September 2, 2024 19:24 2m 45s juvix-syntax
September 2, 2024 19:24 2m 45s
Fix README.
CI #450: Commit b5cd23a pushed by jonaprieto
September 2, 2024 19:24 2m 51s fix-shortcuts
September 2, 2024 19:24 2m 51s
Run npm run pretty
CI #449: Commit c5d061f pushed by jonaprieto
September 2, 2024 19:24 2m 22s 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
September 2, 2024 19:24 2m 52s
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
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
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
September 2, 2024 19:24 2m 46s
Push on main
CodeQL #242: by github-advanced-security bot
September 2, 2024 15:03 2m 9s
September 2, 2024 15:03 2m 9s
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
PR #140
CodeQL #239: by lukaszcz
August 30, 2024 08:37 1m 32s
August 30, 2024 08:37 1m 32s
Update statusbar.ts
CI #438: Commit e4586bd pushed by lukaszcz
August 30, 2024 08:37 1m 7s mark-typecheck-silent
August 30, 2024 08:37 1m 7s
PR #140
CodeQL #238: by jonaprieto
August 30, 2024 05:41 1m 35s
August 30, 2024 05:41 1m 35s
Fix typos
CI #435: Commit 2286c30 pushed by jonaprieto
August 30, 2024 05:41 52s 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