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(Debugger): debugging interface Build, test, and doc update #548: Pull request #138 synchronize by favonia
October 8, 2024 14:13 3m 26s logger
logger
October 8, 2024 14:13 3m 26s
feat(Debugger): debugging interface Build, test, and doc update #547: Pull request #138 synchronize by favonia
October 8, 2024 14:08 4m 4s logger
logger
October 8, 2024 14:08 4m 4s
refactor: factor out text handling as new modules Text and Loctext Build, test, and doc update #546: Pull request #159 synchronize by favonia
October 8, 2024 14:06 3m 47s text
text
October 8, 2024 14:06 3m 47s
refactor: factor out text handling as new modules Text and Loctext Build, test, and doc update #545: Pull request #159 synchronize by favonia
October 8, 2024 11:23 6m 46s text
text
October 8, 2024 11:23 6m 46s
ci: use OCaml 5.2.0 Build, test, and doc update #544: Commit e9baa85 pushed by favonia
October 8, 2024 11:23 6m 48s main
main
October 8, 2024 11:23 6m 48s
refactor: factor out text handling as new modules Text and Loctext Build, test, and doc update #543: Pull request #159 synchronize by favonia
October 8, 2024 11:22 3m 51s text
text
October 8, 2024 11:22 3m 51s
refactor: factor out text handling as new modules Text and Loctext Build, test, and doc update #542: Pull request #159 synchronize by favonia
October 8, 2024 11:14 3m 34s text
text
October 8, 2024 11:14 3m 34s
refactor: factor out text handling as new modules Text and Loctext Build, test, and doc update #541: Pull request #159 synchronize by favonia
October 8, 2024 11:10 3m 28s text
text
October 8, 2024 11:10 3m 28s
refactor: factor out text handling as new modules Text and Loctext Build, test, and doc update #540: Pull request #159 opened by favonia
October 7, 2024 22:50 3m 24s text
text
October 7, 2024 22:50 3m 24s
fix(Range): rename locate to located Build, test, and doc update #539: Pull request #158 synchronize by favonia
October 7, 2024 22:15 3m 32s range-located
range-located
October 7, 2024 22:15 3m 32s
fix(Range): rename locate to located Build, test, and doc update #538: Pull request #158 synchronize by favonia
October 7, 2024 21:40 3m 23s range-located
range-located
October 7, 2024 21:40 3m 23s
fix(Range): rename locate to located Build, test, and doc update #537: Pull request #158 synchronize by favonia
October 7, 2024 21:39 3m 46s range-located
range-located
October 7, 2024 21:39 3m 46s
fix(Range): rename locate to located Build, test, and doc update #536: Pull request #158 opened by favonia
October 7, 2024 21:23 3m 44s range-located
range-located
October 7, 2024 21:23 3m 44s
feat(Debugger): debugging interface Build, test, and doc update #535: Pull request #138 synchronize by favonia
October 4, 2024 13:08 3m 41s logger
logger
October 4, 2024 13:08 3m 41s
docs: add the LLVM exceptions to our Apache 2.0 licensing Build, test, and doc update #534: Pull request #156 synchronize by favonia
September 29, 2024 00:23 3m 13s add-llvm-exception
add-llvm-exception
September 29, 2024 00:23 3m 13s
test(Diagnostic): add a test (#153) Build, test, and doc update #533: Commit ccfc4af pushed by favonia
September 29, 2024 00:23 3m 21s main
main
September 29, 2024 00:23 3m 21s
test(Diagnostic): add a test Build, test, and doc update #532: Pull request #153 synchronize by favonia
September 29, 2024 00:07 3m 21s more-tests
more-tests
September 29, 2024 00:07 3m 21s
docs: add the LLVM exceptions to our Apache 2.0 licensing Build, test, and doc update #531: Pull request #156 synchronize by favonia
September 29, 2024 00:00 3m 44s add-llvm-exception
add-llvm-exception
September 29, 2024 00:00 3m 44s
docs: add the LLVM exceptions to our Apache 2.0 licensing Build, test, and doc update #530: Pull request #156 synchronize by favonia
September 28, 2024 23:59 3m 10s add-llvm-exception
add-llvm-exception
September 28, 2024 23:59 3m 10s
docs: add the LLVM exceptions to our Apache 2.0 licensing Build, test, and doc update #529: Pull request #156 synchronize by favonia
September 28, 2024 23:58 3m 38s add-llvm-exception
add-llvm-exception
September 28, 2024 23:58 3m 38s
fix(lsp): address breaking changes from lsp 1.19.0 (#157) Build, test, and doc update #528: Commit 4c0e340 pushed by favonia
September 28, 2024 23:58 6m 54s main
main
September 28, 2024 23:58 6m 54s
fix(lsp): breaking changes from lsp 1.19.0 Build, test, and doc update #527: Pull request #157 opened by favonia
September 28, 2024 23:41 6m 49s lsp-breaking-changes
lsp-breaking-changes
September 28, 2024 23:41 6m 49s
docs: add the LLVM exceptions to our Apache 2.0 licensing Build, test, and doc update #526: Pull request #156 synchronize by favonia
September 28, 2024 19:24 7m 0s add-llvm-exception
add-llvm-exception
September 28, 2024 19:24 7m 0s
docs: add the LLVM exceptions to our Apache 2.0 licensing Build, test, and doc update #525: Pull request #156 opened by favonia
September 28, 2024 19:24 7m 10s add-llvm-exception
add-llvm-exception
September 28, 2024 19:24 7m 10s
feat(Debugger): debugging interface Build, test, and doc update #524: Pull request #138 synchronize by favonia
September 26, 2024 04:00 7m 11s logger
logger
September 26, 2024 04:00 7m 11s