Skip to content

Actions: zufuliu/notepad4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
689 workflow runs
689 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update auto-completion for OCaml.
CI #1951: Commit 1630681 pushed by zufuliu
July 6, 2023 00:04 19m 16s main
July 6, 2023 00:04 19m 16s
Support OCaml, issue #24.
CI #1950: Commit bf3297a pushed by zufuliu
July 5, 2023 23:40 22m 51s main
July 5, 2023 23:40 22m 51s
Add simple lexer for Mathematica, issue #652.
CI #1949: Commit 946d3d3 pushed by zufuliu
July 5, 2023 11:18 20m 49s main
July 5, 2023 11:18 20m 49s
Simplify Julia raw string highlighting.
CI #1948: Commit 1998a49 pushed by zufuliu
July 5, 2023 10:46 17m 55s main
July 5, 2023 10:46 17m 55s
Remove unused header file StringCopy.h.
CI #1947: Commit 853a8fd pushed by zufuliu
July 3, 2023 11:38 16m 53s main
July 3, 2023 11:38 16m 53s
Minor code refactoring.
CI #1946: Commit d749a71 pushed by zufuliu
July 2, 2023 10:24 17m 7s main
July 2, 2023 10:24 17m 7s
Simplify Bash number paring.
CI #1945: Commit c82ffc5 pushed by zufuliu
June 30, 2023 00:16 17m 6s main
June 30, 2023 00:16 17m 6s
Support Zig, issue #675.
CI #1944: Commit 3e76ecd pushed by zufuliu
June 29, 2023 12:33 26m 45s main
June 29, 2023 12:33 26m 45s
Support Nim Script, issue #371.
CI #1943: Commit 995eb35 pushed by zufuliu
June 28, 2023 11:21 22m 51s main
June 28, 2023 11:21 22m 51s
Minor code refactoring.
CI #1942: Commit 0f82023 pushed by zufuliu
June 28, 2023 10:07 18m 1s main
June 28, 2023 10:07 18m 1s
Add CallTip wiki page, PR #673.
CI #1941: Commit ae45b71 pushed by zufuliu
June 27, 2023 10:37 17m 58s main
June 27, 2023 10:37 17m 58s
Update readme.md
CI #1940: Commit f3c193d pushed by zufuliu
June 25, 2023 22:00 18m 23s main
June 25, 2023 22:00 18m 23s
Update readme.md
CI #1939: Pull request #673 opened by Matteo-Nigro
June 25, 2023 13:28 22m 10s Matteo-Nigro:main
June 25, 2023 13:28 22m 10s
[Open URL] Remove trailing dot from link.
CI #1938: Commit 50c7d87 pushed by zufuliu
June 25, 2023 10:24 17m 40s main
June 25, 2023 10:24 17m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-06-25 or the other filters available.