Skip to content

Actions: effekt-lang/effekt-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
249 workflow runs
249 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ensure reliable hole highlighting by recreating regex instance on ea… Continuous Integration #331: Commit dea53eb pushed by JakubSchwenkbeck
May 28, 2025 13:41 28s feature/focus-holes
feature/focus-holes
May 28, 2025 13:41 28s
Initial hole panel (#80) Continuous Integration #330: Commit 86b16cc pushed by timsueberkrueb
May 28, 2025 12:19 28s master
master
May 28, 2025 12:19 28s
remove duplicate code and correctly export lib util Continuous Integration #329: Commit 0923936 pushed by JakubSchwenkbeck
May 28, 2025 12:18 26s initial-hole-panel
initial-hole-panel
May 28, 2025 12:18 26s
add /*html*/ comments for highlighting Continuous Integration #328: Commit 0ad97e2 pushed by JakubSchwenkbeck
May 28, 2025 12:09 31s initial-hole-panel
initial-hole-panel
May 28, 2025 12:09 31s
add html util from lib and remove uniqueness filtering Continuous Integration #327: Commit 4e7212e pushed by JakubSchwenkbeck
May 28, 2025 12:05 40s initial-hole-panel
initial-hole-panel
May 28, 2025 12:05 40s
add in-string HTML highlighting to recommend dev extensions. Continuous Integration #326: Commit 0ae83e4 pushed by JakubSchwenkbeck
May 28, 2025 11:39 27s initial-hole-panel
initial-hole-panel
May 28, 2025 11:39 27s
remove duplicate body code in css Continuous Integration #325: Commit e7bb47a pushed by JakubSchwenkbeck
May 28, 2025 11:31 36s initial-hole-panel
initial-hole-panel
May 28, 2025 11:31 36s
cleaned css Continuous Integration #324: Commit 2ee304f pushed by JakubSchwenkbeck
May 28, 2025 10:14 28s initial-hole-panel
initial-hole-panel
May 28, 2025 10:14 28s
format and lint Continuous Integration #323: Commit 42e9011 pushed by JakubSchwenkbeck
May 28, 2025 09:31 31s initial-hole-panel
initial-hole-panel
May 28, 2025 09:31 31s
add a warning if the showHoles setting is turned off Continuous Integration #322: Commit 5f13238 pushed by JakubSchwenkbeck
May 28, 2025 09:01 23s initial-hole-panel
initial-hole-panel
May 28, 2025 09:01 23s
stack lists of terms and types vertically Continuous Integration #321: Commit 7c697a6 pushed by JakubSchwenkbeck
May 28, 2025 08:39 30s initial-hole-panel
initial-hole-panel
May 28, 2025 08:39 30s
Fix color of text in search boxes Continuous Integration #320: Commit 47d8c7e pushed by JakubSchwenkbeck
May 28, 2025 08:35 26s initial-hole-panel
initial-hole-panel
May 28, 2025 08:35 26s
Add initial holes panel Continuous Integration #319: Commit b8c4af6 pushed by timsueberkrueb
May 28, 2025 08:14 25s initial-hole-panel
initial-hole-panel
May 28, 2025 08:14 25s
Merge pull request #83 from effekt-lang/format-json Continuous Integration #318: Commit 36429b3 pushed by timsueberkrueb
May 28, 2025 08:07 26s master
master
May 28, 2025 08:07 26s
Improve hole panel placeholder text Continuous Integration #317: Commit 472d0cb pushed by timsueberkrueb
May 26, 2025 12:59 29s initial-hole-panel
initial-hole-panel
May 26, 2025 12:59 29s
Update .git-blame-ignore-revs Continuous Integration #316: Commit 21c90e2 pushed by timsueberkrueb
May 26, 2025 12:43 28s format-json
format-json
May 26, 2025 12:43 28s
Update .git-blame-ignore-revs Continuous Integration #315: Commit 7539223 pushed by timsueberkrueb
May 26, 2025 12:42 26s format-json
format-json
May 26, 2025 12:42 26s
Update .git-blame-ignore-revs Continuous Integration #314: Commit 9659b3b pushed by timsueberkrueb
May 26, 2025 12:39 29s format-json
format-json
May 26, 2025 12:39 29s
Release v0.3.3 Release Artifacts and Deploy #18: Commit 7072074 pushed by jiribenes
May 26, 2025 12:16 1m 0s v0.3.3
v0.3.3
May 26, 2025 12:16 1m 0s
Release v0.3.3 Continuous Integration #313: Commit 7072074 pushed by jiribenes
May 26, 2025 12:16 30s v0.3.3
v0.3.3
May 26, 2025 12:16 30s
Release v0.3.3 Continuous Integration #312: Commit 7072074 pushed by jiribenes
May 26, 2025 12:16 31s master
master
May 26, 2025 12:16 31s
Update text when hole panel is empty Continuous Integration #311: Commit b0c73a6 pushed by timsueberkrueb
May 22, 2025 13:57 26s initial-hole-panel
initial-hole-panel
May 22, 2025 13:57 26s
remove css comment Continuous Integration #310: Commit a927591 pushed by JakubSchwenkbeck
May 22, 2025 12:50 26s initial-hole-panel
initial-hole-panel
May 22, 2025 12:50 26s
save holes in a hashmap by URI Continuous Integration #309: Commit c0a8ae4 pushed by JakubSchwenkbeck
May 22, 2025 12:46 35s initial-hole-panel
initial-hole-panel
May 22, 2025 12:46 35s
format with prettier Continuous Integration #308: Commit b1cc2ba pushed by JakubSchwenkbeck
May 22, 2025 12:37 31s initial-hole-panel
initial-hole-panel
May 22, 2025 12:37 31s