Skip to content

Actions: Maverobot/dot-spacemacs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
December 27, 2023 18:56 30s
feat: Add lean4-mode
CI #115: Commit f703c8a pushed by Maverobot
December 27, 2023 18:51 5m 34s master
December 27, 2023 18:51 5m 34s
pages build and deployment
pages-build-deployment #30: by github-pages bot
December 20, 2023 20:56 34s
December 20, 2023 20:56 34s
chore: Remove julia related config due to low usage
CI #114: Commit 87c0db7 pushed by Maverobot
December 20, 2023 20:51 5m 4s master
December 20, 2023 20:51 5m 4s
pages build and deployment
pages-build-deployment #29: by github-pages bot
December 17, 2023 06:34 30s
December 17, 2023 06:34 30s
browse: Use open in macOS and xdg-open in linux to open links
CI #113: Commit c9191d9 pushed by Maverobot
December 17, 2023 06:29 5m 3s master
December 17, 2023 06:29 5m 3s
pages build and deployment
pages-build-deployment #28: by github-pages bot
December 14, 2023 08:08 32s
December 14, 2023 08:08 32s
pages build and deployment
pages-build-deployment #27: by github-pages bot
December 14, 2023 08:07 35s
December 14, 2023 08:07 35s
pages build and deployment
pages-build-deployment #26: by github-pages bot
December 14, 2023 08:06 27s
December 14, 2023 08:06 27s
pages build and deployment
pages-build-deployment #25: by github-pages bot
December 14, 2023 08:05 38s
December 14, 2023 08:05 38s
deps: Update ccls to fix compilation error on macOS
CI #112: Commit 6592311 pushed by Maverobot
December 14, 2023 08:03 4m 59s master
December 14, 2023 08:03 4m 59s
fix: org-ai should now be properly set up
CI #111: Commit c957275 pushed by Maverobot
December 14, 2023 08:03 4m 14s master
December 14, 2023 08:03 4m 14s
fix: Copilot settings should work again
CI #110: Commit 0677563 pushed by Maverobot
December 14, 2023 08:01 4m 51s master
December 14, 2023 08:01 4m 51s
ui: Change the looks about fullscreen and rounded corners
CI #109: Commit 1343eac pushed by Maverobot
December 14, 2023 08:00 5m 24s master
December 14, 2023 08:00 5m 24s
pages build and deployment
pages-build-deployment #24: by github-pages bot
December 14, 2023 07:36 29s
December 14, 2023 07:36 29s
look: Add rounded corner for macOS
CI #108: Commit f44ba51 pushed by Maverobot
December 14, 2023 07:31 4m 50s master
December 14, 2023 07:31 4m 50s
pages build and deployment
pages-build-deployment #23: by github-pages bot
December 11, 2023 10:05 29s
December 11, 2023 10:05 29s
config: Add config for copilot
CI #107: Commit 606248a pushed by Maverobot
December 11, 2023 09:59 5m 35s master
December 11, 2023 09:59 5m 35s
pages build and deployment
pages-build-deployment #22: by github-pages bot
December 11, 2023 07:51 28s
December 11, 2023 07:51 28s
config: Use Command key as meta key in MacOS
CI #106: Commit eb72156 pushed by Maverobot
December 11, 2023 07:37 14m 10s master
December 11, 2023 07:37 14m 10s