Actions: Maverobot/dot-spacemacs
Actions
Showing runs from all workflows
135 workflow runs
135 workflow runs
ob-lean4
for literate programming with org/lean4
CI
#116:
Commit 7dee7bd
pushed
by
Maverobot
lean4-mode
CI
#115:
Commit f703c8a
pushed
by
Maverobot
julia
related config due to low usage
CI
#114:
Commit 87c0db7
pushed
by
Maverobot
open
in macOS and xdg-open
in linux to open links
CI
#113:
Commit c9191d9
pushed
by
Maverobot