Skip to content

Actions: lem-project/lem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,706 workflow runs
2,706 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1451: by cxxxr
January 18, 2025 10:12 40s main
main
January 18, 2025 10:12 40s
fix the *editor-abort-hook* call CI #3825: Commit 873f4d0 pushed by cxxxr
January 17, 2025 14:28 6m 52s main
main
January 17, 2025 14:28 6m 52s
fix the *editor-abort-hook* call Generate document #1013: Commit 873f4d0 pushed by cxxxr
January 17, 2025 14:28 2m 39s main
main
January 17, 2025 14:28 2m 39s
fix the *editor-abort-hook* call Build terminal.so #270: Commit 873f4d0 pushed by cxxxr
January 17, 2025 14:28 59s main
main
January 17, 2025 14:28 59s
pages build and deployment pages-build-deployment #1450: by cxxxr
January 17, 2025 14:28 43s main
main
January 17, 2025 14:28 43s
Add define-type-alias to the highlighting rules, and not to show li… CI #3824: Commit b75400c pushed by cxxxr
January 17, 2025 10:42 7m 2s main
main
January 17, 2025 10:42 7m 2s
Add define-type-alias to the highlighting rules, and not to show li… Build terminal.so #269: Commit b75400c pushed by cxxxr
January 17, 2025 10:42 1m 4s main
main
January 17, 2025 10:42 1m 4s
Add define-type-alias to the highlighting rules, and not to show li… Generate document #1012: Commit b75400c pushed by cxxxr
January 17, 2025 10:42 2m 50s main
main
January 17, 2025 10:42 2m 50s
pages build and deployment pages-build-deployment #1449: by cxxxr
January 17, 2025 10:42 42s main
main
January 17, 2025 10:42 42s
More minor highlighting fixes for coalton-mode. CI #3823: Pull request #1752 opened by fukamachi
January 17, 2025 10:33 6m 52s fix/coalton-mode-syntax-highlighting
fix/coalton-mode-syntax-highlighting
January 17, 2025 10:33 6m 52s
Minor fixes for coalton-mode (#1750) Build terminal.so #268: Commit feccc69 pushed by cxxxr
January 16, 2025 13:15 52s main
main
January 16, 2025 13:15 52s
Minor fixes for coalton-mode (#1750) CI #3822: Commit feccc69 pushed by cxxxr
January 16, 2025 13:15 6m 54s main
main
January 16, 2025 13:15 6m 54s
Minor fixes for coalton-mode (#1750) Generate document #1011: Commit feccc69 pushed by cxxxr
January 16, 2025 13:15 2m 42s main
main
January 16, 2025 13:15 2m 42s
pages build and deployment pages-build-deployment #1448: by cxxxr
January 16, 2025 13:14 46s main
main
January 16, 2025 13:14 46s
Minor fixes for coalton-mode CI #3821: Pull request #1750 opened by fukamachi
January 16, 2025 09:45 6m 52s coalton-mode-minor-fixes
coalton-mode-minor-fixes
January 16, 2025 09:45 6m 52s
Fix an indentation of do notation. CI #3820: Commit 9107eb3 pushed by fukamachi
January 16, 2025 09:44 7m 7s coalton-mode-minor-fixes
coalton-mode-minor-fixes
January 16, 2025 09:44 7m 7s
Add symbol completeion to coalton-mode using lisp-mode's function. (#… Generate document #1010: Commit 4c1cc0e pushed by cxxxr
January 15, 2025 07:16 2m 49s main
main
January 15, 2025 07:16 2m 49s
Add symbol completeion to coalton-mode using lisp-mode's function. (#… CI #3819: Commit 4c1cc0e pushed by cxxxr
January 15, 2025 07:16 6m 55s main
main
January 15, 2025 07:16 6m 55s
Add symbol completeion to coalton-mode using lisp-mode's function. (#… Build terminal.so #267: Commit 4c1cc0e pushed by cxxxr
January 15, 2025 07:16 51s main
main
January 15, 2025 07:16 51s
pages build and deployment pages-build-deployment #1447: by cxxxr
January 15, 2025 07:16 37s main
main
January 15, 2025 07:16 37s
Add symbol completeion to coalton-mode by using lisp-mode's function. CI #3818: Pull request #1749 synchronize by fukamachi
January 15, 2025 02:22 6m 54s coalton-mode-symbol-completion
coalton-mode-symbol-completion
January 15, 2025 02:22 6m 54s
Add symbol completeion to coalton-mode using lisp-mode's function. CI #3817: Commit 0c8018b pushed by fukamachi
January 15, 2025 02:22 6m 47s coalton-mode-symbol-completion
coalton-mode-symbol-completion
January 15, 2025 02:22 6m 47s
Fix the wrong system name of a dependency. Build terminal.so #266: Commit e18d082 pushed by fukamachi
January 15, 2025 02:21 56s main
main
January 15, 2025 02:21 56s
Fix the wrong system name of a dependency. Generate document #1009: Commit e18d082 pushed by fukamachi
January 15, 2025 02:21 2m 35s main
main
January 15, 2025 02:21 2m 35s
Fix the wrong system name of a dependency. CI #3816: Commit e18d082 pushed by fukamachi
January 15, 2025 02:21 6m 57s main
main
January 15, 2025 02:21 6m 57s