Skip to content

Actions: RedPRL/asai

Actions

Build, test, and doc update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yaml
522 workflow runs
522 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Diagnostic): support generalize locations Build, test, and doc update #634: Pull request #184 synchronize by favonia
November 18, 2024 16:47 7m 12s non-range-location
non-range-location
November 18, 2024 16:47 7m 12s
docs(Tty): improve documentation (#183) Build, test, and doc update #633: Commit 53e2272 pushed by favonia
October 31, 2024 14:59 3m 26s main
main
October 31, 2024 14:59 3m 26s
feat(Diagnostic): support generalize locations Build, test, and doc update #632: Pull request #184 opened by favonia
October 31, 2024 14:56 3m 50s non-range-location
non-range-location
October 31, 2024 14:56 3m 50s
docs(Tty): improve documentation Build, test, and doc update #631: Pull request #183 opened by favonia
October 31, 2024 14:55 3m 32s better-tty-doc
better-tty-doc
October 31, 2024 14:55 3m 32s
docs: create module aliases for backward compatibility (#182) Build, test, and doc update #630: Commit f1a58c1 pushed by favonia
October 31, 2024 14:01 3m 45s main
main
October 31, 2024 14:01 3m 45s
docs: create module aliases for backward compatibility Build, test, and doc update #629: Pull request #182 opened by favonia
October 31, 2024 13:57 3m 57s improve-docs
improve-docs
October 31, 2024 13:57 3m 57s
docs(Tty): update documentation on Unicode line breaking (#181) Build, test, and doc update #628: Commit 4024850 pushed by favonia
October 31, 2024 13:52 3m 33s main
main
October 31, 2024 13:52 3m 33s
docs(Tty): update documentation on Unicode line breaking Build, test, and doc update #627: Pull request #181 opened by favonia
October 31, 2024 13:48 3m 52s unicode-linebreaks
unicode-linebreaks
October 31, 2024 13:48 3m 52s
docs: fix various mistakes in documentation (#180) Build, test, and doc update #626: Commit 2a21ab4 pushed by favonia
October 31, 2024 12:57 3m 47s main
main
October 31, 2024 12:57 3m 47s
docs: fix various mistakes in documentation Build, test, and doc update #625: Pull request #180 synchronize by favonia
October 31, 2024 12:53 3m 51s fix-doc
fix-doc
October 31, 2024 12:53 3m 51s
docs: fix various mistakes in documentation Build, test, and doc update #624: Pull request #180 opened by favonia
October 31, 2024 12:52 3m 35s fix-doc
fix-doc
October 31, 2024 12:52 3m 35s
feat(Tty): custom markers (#175) Build, test, and doc update #623: Commit 0da3bc0 pushed by favonia
October 31, 2024 12:11 3m 40s main
main
October 31, 2024 12:11 3m 40s
feat(Tty): custom markers Build, test, and doc update #622: Pull request #175 synchronize by favonia
October 31, 2024 12:05 3m 41s custom-markers
custom-markers
October 31, 2024 12:05 3m 41s
feat(Tty): custom markers Build, test, and doc update #621: Pull request #175 synchronize by favonia
October 31, 2024 12:00 3m 29s custom-markers
custom-markers
October 31, 2024 12:00 3m 29s
feat(Tty): custom markers Build, test, and doc update #620: Pull request #175 synchronize by favonia
October 31, 2024 11:59 3m 35s custom-markers
custom-markers
October 31, 2024 11:59 3m 35s
feat(Tty): custom markers Build, test, and doc update #619: Pull request #175 synchronize by favonia
October 31, 2024 11:42 3m 26s custom-markers
custom-markers
October 31, 2024 11:42 3m 26s
feat(Tty): custom markers Build, test, and doc update #618: Pull request #175 synchronize by favonia
October 30, 2024 13:47 3m 57s custom-markers
custom-markers
October 30, 2024 13:47 3m 57s
feat(Tty): custom markers Build, test, and doc update #617: Pull request #175 synchronize by favonia
October 29, 2024 22:34 3m 43s custom-markers
custom-markers
October 29, 2024 22:34 3m 43s
feat(Tty): custom markers Build, test, and doc update #616: Pull request #175 synchronize by favonia
October 29, 2024 22:34 3m 24s custom-markers
custom-markers
October 29, 2024 22:34 3m 24s
feat(Tty): custom markers Build, test, and doc update #615: Pull request #175 synchronize by favonia
October 29, 2024 22:13 3m 27s custom-markers
custom-markers
October 29, 2024 22:13 3m 27s
feat(Tty): custom markers Build, test, and doc update #614: Pull request #175 synchronize by favonia
October 29, 2024 21:33 3m 43s custom-markers
custom-markers
October 29, 2024 21:33 3m 43s
refactor!: use Camal_snake (#178) Build, test, and doc update #613: Commit 786650e pushed by favonia
October 29, 2024 21:19 3m 32s main
main
October 29, 2024 21:19 3m 32s
refactor!: use Camal_snake Build, test, and doc update #612: Pull request #178 opened by favonia
October 29, 2024 14:40 3m 46s Camel_snake
Camel_snake
October 29, 2024 14:40 3m 46s
feat(Tty): custom markers Build, test, and doc update #611: Pull request #175 synchronize by favonia
October 29, 2024 11:50 4m 10s custom-markers
custom-markers
October 29, 2024 11:50 4m 10s
feat(Tty): custom markers Build, test, and doc update #610: Pull request #175 synchronize by favonia
October 29, 2024 01:28 3m 26s custom-markers
custom-markers
October 29, 2024 01:28 3m 26s