Skip to content

Actions: romannurik/SlidesCodeHighlighter

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #15: by github-pages bot
November 7, 2024 14:55 38s gh-pages
November 7, 2024 14:55 38s
add geist mono
Node Build and Deploy #38: Commit 8e3ef4e pushed by romannurik
November 7, 2024 14:55 44s main
November 7, 2024 14:55 44s
pages build and deployment
pages-build-deployment #14: by github-pages bot
November 6, 2024 13:54 42s gh-pages
November 6, 2024 13:54 42s
Fix up and finish initial PWA implementation
Node Build and Deploy #37: Commit 5871dff pushed by romannurik
November 6, 2024 13:53 44s main
November 6, 2024 13:53 44s
pages build and deployment
pages-build-deployment #13: by github-pages bot
October 31, 2024 15:00 40s gh-pages
October 31, 2024 15:00 40s
add back copyright headers
Node Build and Deploy #36: Commit a98a78b pushed by romannurik
October 31, 2024 14:59 36s main
October 31, 2024 14:59 36s
pages build and deployment
pages-build-deployment #12: by github-pages bot
October 31, 2024 14:26 38s gh-pages
October 31, 2024 14:26 38s
fix base path
Node Build and Deploy #35: Commit e2c2a84 pushed by romannurik
October 31, 2024 14:25 41s main
October 31, 2024 14:25 41s
pages build and deployment
pages-build-deployment #11: by github-pages bot
October 31, 2024 14:20 37s gh-pages
October 31, 2024 14:20 37s
Rewrite in Vite, switch to Shiki
Node Build and Deploy #34: Commit 8365385 pushed by romannurik
October 31, 2024 14:20 37s main
October 31, 2024 14:20 37s
maser -> main
Node Build and Deploy #33: Commit 09c00d9 pushed by romannurik
October 30, 2024 12:44 35s main
October 30, 2024 12:44 35s
pages build and deployment
pages-build-deployment #10: by github-pages bot
July 8, 2024 15:47 36s gh-pages
July 8, 2024 15:47 36s
Fix #72 by avoiding styling ALL textareas in #editor
Node Build and Deploy #32: Commit 410f712 pushed by romannurik
July 8, 2024 15:47 30s master
July 8, 2024 15:47 30s
pages build and deployment
pages-build-deployment #9: by github-pages bot
July 2, 2024 14:56 36s gh-pages
July 2, 2024 14:56 36s
upgrade some deps
Node Build and Deploy #31: Commit 7dd2ca4 pushed by romannurik
July 2, 2024 14:56 32s master
July 2, 2024 14:56 32s
pages build and deployment
pages-build-deployment #8: by github-pages bot
July 2, 2024 14:26 44s gh-pages
July 2, 2024 14:26 44s
Merge pull request #80 from twerske/patch-1
Node Build and Deploy #30: Commit 834b3bd pushed by romannurik
July 2, 2024 14:26 31s master
July 2, 2024 14:26 31s
pages build and deployment
pages-build-deployment #7: by github-pages bot
September 19, 2023 14:00 54s gh-pages
September 19, 2023 14:00 54s
Merge pull request #77 from tjkohli/master
Node Build and Deploy #29: Commit 9de9f41 pushed by romannurik
September 19, 2023 13:59 58s master
September 19, 2023 13:59 58s