Skip to content

Actions: Panadestein/emacsd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #158: by github-pages bot
November 21, 2024 09:54 37s gh-pages
November 21, 2024 09:54 37s
fix: updated org-roam.
Publish #181: Commit ab7f3af pushed by Panadestein
November 21, 2024 09:53 1m 30s master
November 21, 2024 09:53 1m 30s
pages build and deployment
pages-build-deployment #157: by github-pages bot
November 5, 2024 13:07 38s gh-pages
November 5, 2024 13:07 38s
chore: remove search bar.
Publish #180: Commit d8477f0 pushed by Panadestein
November 5, 2024 13:06 1m 23s master
November 5, 2024 13:06 1m 23s
pages build and deployment
pages-build-deployment #156: by github-pages bot
November 5, 2024 12:57 34s gh-pages
November 5, 2024 12:57 34s
feat: add Lean 4 support.
Publish #179: Commit c4de52c pushed by Panadestein
November 5, 2024 12:56 50s master
November 5, 2024 12:56 50s
pages build and deployment
pages-build-deployment #155: by github-pages bot
September 3, 2024 12:33 2m 21s gh-pages
September 3, 2024 12:33 2m 21s
fix: mark setupfile as safe.
Publish #178: Commit 201c8ee pushed by Panadestein
September 3, 2024 12:33 51s master
September 3, 2024 12:33 51s
pages build and deployment
pages-build-deployment #154: by github-pages bot
September 3, 2024 12:29 39s gh-pages
September 3, 2024 12:29 39s
fix: mark setupfile as safe.
Publish #177: Commit 827c3f8 pushed by Panadestein
September 3, 2024 12:28 1m 11s master
September 3, 2024 12:28 1m 11s
pages build and deployment
pages-build-deployment #153: by github-pages bot
September 3, 2024 12:21 41s gh-pages
September 3, 2024 12:21 41s
fix: update action.
Publish #176: Commit 16a27a0 pushed by Panadestein
September 3, 2024 12:20 1m 6s master
September 3, 2024 12:20 1m 6s
fix: add missing package
Publish #175: Commit b75c29c pushed by Panadestein
September 3, 2024 12:06 28s master
September 3, 2024 12:06 28s
chore: mask yasnippet from linguist
Publish #174: Commit e6bc5d5 pushed by Panadestein
September 3, 2024 11:55 29s master
September 3, 2024 11:55 29s
pages build and deployment
pages-build-deployment #152: by github-pages bot
March 22, 2024 11:08 38s gh-pages
March 22, 2024 11:08 38s
Added explain command to BQN mode
Publish #173: Commit 07d78be pushed by Panadestein
March 22, 2024 11:08 30s master
March 22, 2024 11:08 30s
pages build and deployment
pages-build-deployment #151: by github-pages bot
March 21, 2024 17:10 46s gh-pages
March 21, 2024 17:10 46s
Improved company yasnippet for BQN
Publish #172: Commit 0c6bfef pushed by Panadestein
March 21, 2024 17:09 36s master
March 21, 2024 17:09 36s
pages build and deployment
pages-build-deployment #150: by github-pages bot
March 21, 2024 08:25 41s gh-pages
March 21, 2024 08:25 41s
Added consistency in BQN fontlock
Publish #171: Commit 1664045 pushed by Panadestein
March 21, 2024 08:25 44s master
March 21, 2024 08:25 44s
pages build and deployment
pages-build-deployment #149: by github-pages bot
March 13, 2024 19:46 43s gh-pages
March 13, 2024 19:46 43s
chore: lsp config
Publish #170: Commit a145e54 pushed by Panadestein
March 13, 2024 19:45 40s master
March 13, 2024 19:45 40s
pages build and deployment
pages-build-deployment #148: by github-pages bot
March 11, 2024 08:44 37s gh-pages
March 11, 2024 08:44 37s
Added fontlock to keys mode in BQN
Publish #169: Commit d5c683c pushed by Panadestein
March 11, 2024 08:43 46s master
March 11, 2024 08:43 46s
pages build and deployment
pages-build-deployment #147: by github-pages bot
March 7, 2024 10:46 35s gh-pages
March 7, 2024 10:46 35s