Skip to content

Actions: Maverobot/dot-spacemacs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Export code block with current theme CI #128: Commit cf74013 pushed by Maverobot
January 6, 2024 23:07 5m 16s master
master
January 6, 2024 23:07 5m 16s
docs: Export code block in current theme CI #127: Commit 2e1d006 pushed by Maverobot
January 6, 2024 23:07 3m 58s master
master
January 6, 2024 23:07 3m 58s
pages build and deployment pages-build-deployment #42: by github-pages bot
January 6, 2024 23:01 30s gh-pages
gh-pages
January 6, 2024 23:01 30s
docs: Change the exported code blocks to have dark grey background CI #126: Commit a1d7db5 pushed by Maverobot
January 6, 2024 22:57 3m 44s master
master
January 6, 2024 22:57 3m 44s
pages build and deployment pages-build-deployment #41: by github-pages bot
January 6, 2024 22:47 33s gh-pages
gh-pages
January 6, 2024 22:47 33s
pages build and deployment pages-build-deployment #40: by github-pages bot
January 6, 2024 22:47 12s gh-pages
gh-pages
January 6, 2024 22:47 12s
docs: Clean up CI #125: Commit 3351fbe pushed by Maverobot
January 6, 2024 22:43 4m 4s master
master
January 6, 2024 22:43 4m 4s
docs: Clean up CI #124: Commit 8841d83 pushed by Maverobot
January 6, 2024 22:42 4m 31s master
master
January 6, 2024 22:42 4m 31s
pages build and deployment pages-build-deployment #39: by github-pages bot
January 6, 2024 22:42 28s gh-pages
gh-pages
January 6, 2024 22:42 28s
pages build and deployment pages-build-deployment #38: by github-pages bot
January 6, 2024 22:41 29s gh-pages
gh-pages
January 6, 2024 22:41 29s
pages build and deployment pages-build-deployment #37: by github-pages bot
January 6, 2024 22:41 17s gh-pages
gh-pages
January 6, 2024 22:41 17s
pages build and deployment pages-build-deployment #36: by github-pages bot
January 6, 2024 22:38 25s gh-pages
gh-pages
January 6, 2024 22:38 25s
docs: Clean up CI #123: Commit 4594717 pushed by Maverobot
January 6, 2024 22:38 3m 57s master
master
January 6, 2024 22:38 3m 57s
docs: Remove the useless TOC CI #122: Commit 4f8de5d pushed by Maverobot
January 6, 2024 22:37 3m 51s master
master
January 6, 2024 22:37 3m 51s
docs: Fold the "Manual" section by default CI #121: Commit a410909 pushed by Maverobot
January 6, 2024 22:36 4m 11s master
master
January 6, 2024 22:36 4m 11s
docs: Move "Tips and tricks" away from main README CI #120: Commit 953878c pushed by Maverobot
January 6, 2024 22:34 4m 29s master
master
January 6, 2024 22:34 4m 29s
pages build and deployment pages-build-deployment #35: by github-pages bot
January 6, 2024 22:21 30s gh-pages
gh-pages
January 6, 2024 22:21 30s
autocompletion: Enable snippets in popup CI #119: Commit 8b8c357 pushed by Maverobot
January 6, 2024 22:07 14m 13s master
master
January 6, 2024 22:07 14m 13s
pages build and deployment pages-build-deployment #34: by github-pages bot
December 28, 2023 07:24 30s gh-pages
gh-pages
December 28, 2023 07:24 30s
workaround: Hard-code the node version which I use locally CI #118: Commit 9b093d1 pushed by Maverobot
December 28, 2023 07:19 5m 11s master
master
December 28, 2023 07:19 5m 11s
pages build and deployment pages-build-deployment #33: by github-pages bot
December 27, 2023 19:48 29s gh-pages
gh-pages
December 27, 2023 19:48 29s
workaround: Hard-code the node version which I use locally CI #117: Commit bd1e8d1 pushed by Maverobot
December 27, 2023 19:43 4m 57s master
master
December 27, 2023 19:43 4m 57s
pages build and deployment pages-build-deployment #32: by github-pages bot
December 27, 2023 19:34 30s gh-pages
gh-pages
December 27, 2023 19:34 30s
feat: Add ob-lean4 for literate programming with org/lean4 CI #116: Commit 7dee7bd pushed by Maverobot
December 27, 2023 19:28 5m 35s master
master
December 27, 2023 19:28 5m 35s
pages build and deployment pages-build-deployment #31: by github-pages bot
December 27, 2023 18:56 30s gh-pages
gh-pages
December 27, 2023 18:56 30s