Skip to content

Actions: RedPRL/asai

Actions

Build, test, and doc update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yaml
436 workflow runs
436 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Range): re-introduce split Build, test, and doc update #497: Commit 7cdce93 pushed by favonia
November 14, 2023 18:23 6m 38s main
main
November 14, 2023 18:23 6m 38s
fix: dim the carets (#145) Build, test, and doc update #496: Commit 08c7dc2 pushed by favonia
November 14, 2023 15:46 7m 8s main
main
November 14, 2023 15:46 7m 8s
fix(Tty): dim the carets Build, test, and doc update #495: Pull request #145 opened by favonia
November 14, 2023 15:28 5m 45s dim-carets
dim-carets
November 14, 2023 15:28 5m 45s
docs(quickstart): explain exit 1 Build, test, and doc update #494: Commit ac52367 pushed by favonia
November 13, 2023 16:15 5m 46s main
main
November 13, 2023 16:15 5m 46s
docs(quickstart): explain exit 1 Build, test, and doc update #493: Commit 9f7de41 pushed by favonia
November 13, 2023 16:11 6m 56s main
main
November 13, 2023 16:11 6m 56s
fix: correct and enhance the debug mode (#142) Build, test, and doc update #492: Commit db89139 pushed by favonia
November 13, 2023 05:19 8m 7s main
main
November 13, 2023 05:19 8m 7s
fix: correct and enhance the debug mode Build, test, and doc update #491: Pull request #142 synchronize by favonia
November 13, 2023 05:03 5m 49s enhanced-debugging-support
enhanced-debugging-support
November 13, 2023 05:03 5m 49s
fix: correct and enhance the debug mode Build, test, and doc update #490: Pull request #142 synchronize by favonia
November 13, 2023 04:23 3m 34s enhanced-debugging-support
enhanced-debugging-support
November 13, 2023 04:23 3m 34s
fix: correct and enhance the debug mode Build, test, and doc update #489: Pull request #142 opened by favonia
November 13, 2023 03:27 8m 15s enhanced-debugging-support
enhanced-debugging-support
November 13, 2023 03:27 8m 15s
feat(Explicator): introduce debug mode (#139) Build, test, and doc update #488: Commit 9830591 pushed by favonia
November 13, 2023 01:28 5m 57s main
main
November 13, 2023 01:28 5m 57s
feat(Explicator): introduce debug mode Build, test, and doc update #487: Pull request #139 synchronize by favonia
November 13, 2023 01:26 8m 52s pinocchio-test
pinocchio-test
November 13, 2023 01:26 8m 52s
feat(Explicator): introduce debug mode Build, test, and doc update #486: Pull request #139 synchronize by favonia
November 12, 2023 22:30 6m 17s pinocchio-test
pinocchio-test
November 12, 2023 22:30 6m 17s
feat(Explicator): introduce debug mode Build, test, and doc update #485: Pull request #139 synchronize by favonia
November 12, 2023 18:09 7m 9s pinocchio-test
pinocchio-test
November 12, 2023 18:09 7m 9s
feat(Explicator): introduce debug mode Build, test, and doc update #484: Pull request #139 synchronize by favonia
November 12, 2023 17:54 6m 35s pinocchio-test
pinocchio-test
November 12, 2023 17:54 6m 35s
feat(Explicator): introduce debug mode Build, test, and doc update #483: Pull request #139 opened by favonia
November 12, 2023 17:34 7m 7s pinocchio-test
pinocchio-test
November 12, 2023 17:34 7m 7s
docs(quickstart): suggest exit 1 in the template code Build, test, and doc update #482: Commit 624a857 pushed by favonia
November 12, 2023 16:54 7m 2s main
main
November 12, 2023 16:54 7m 2s
feat(Debugger): debugging interface Build, test, and doc update #481: Pull request #138 opened by favonia
November 12, 2023 16:49 3m 33s logger
logger
November 12, 2023 16:49 3m 33s
docs(quickstart): small tweaks to avoid line wrapping Build, test, and doc update #480: Commit 6986a97 pushed by favonia
November 10, 2023 13:23 8m 9s main
main
November 10, 2023 13:23 8m 9s
refactor(Tty): clean up Build, test, and doc update #479: Commit dd19866 pushed by favonia
November 4, 2023 14:50 7m 20s main
main
November 4, 2023 14:50 7m 20s
docs: fix typos Build, test, and doc update #478: Commit 3d79eed pushed by favonia
November 3, 2023 21:47 2m 18s main
main
November 3, 2023 21:47 2m 18s
style(Tty): delete dead code Build, test, and doc update #477: Commit 98af158 pushed by favonia
November 3, 2023 13:03 2m 18s main
main
November 3, 2023 13:03 2m 18s
docs(CHANGELOG): revise Build, test, and doc update #476: Commit 6596391 pushed by favonia
November 3, 2023 05:35 2m 18s main
main
November 3, 2023 05:35 2m 18s
docs(CHANGELOG): revise Build, test, and doc update #475: Commit 7d88120 pushed by favonia
November 3, 2023 05:33 2m 34s main
main
November 3, 2023 05:33 2m 34s
docs(CHANGELOG): revise Build, test, and doc update #474: Commit 396426e pushed by favonia
November 3, 2023 05:24 2m 12s main
main
November 3, 2023 05:24 2m 12s
docs(CHANGELOG): revise Build, test, and doc update #473: Commit 28de8c3 pushed by favonia
November 3, 2023 05:24 1m 56s main
main
November 3, 2023 05:24 1m 56s