Skip to content

Actions: lukstafi/ppx_minidebug

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
522 workflow runs
522 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New feature: tracking if and match branches Deploy static content to Pages #69: Commit 73062e0 pushed by lukstafi
December 29, 2023 21:25 20s main
main
December 29, 2023 21:25 20s
Fix highlighted_roots: only filter at root Deploy static content to Pages #68: Commit dcc8ae7 pushed by lukstafi
December 29, 2023 11:23 22s main
main
December 29, 2023 11:23 22s
Update generated API docs Deploy static content to Pages #67: Commit 3fbe72e pushed by lukstafi
December 28, 2023 22:00 23s main
main
December 28, 2023 22:00 23s
New feature: highlighted_roots to trim output Deploy static content to Pages #66: Commit df7c917 pushed by lukstafi
December 28, 2023 21:58 21s main
main
December 28, 2023 21:58 21s
Update generated API docs Deploy static content to Pages #65: Commit ced56db pushed by lukstafi
December 22, 2023 21:30 22s main
main
December 22, 2023 21:30 22s
New setting: exclude_on_path to limit highlight propagation Deploy static content to Pages #64: Commit 17355ca pushed by lukstafi
December 22, 2023 21:30 26s main
main
December 22, 2023 21:30 26s
Tweak highlighting doc, bump version to 0.7.0 Deploy static content to Pages #63: Commit f2da9b0 pushed by lukstafi
December 22, 2023 15:37 23s main
main
December 22, 2023 15:37 23s
Also highlight boxified sexps Deploy static content to Pages #62: Commit 794e9da pushed by lukstafi
December 22, 2023 12:29 22s main
main
December 22, 2023 12:29 22s
Highlighting mechanism Deploy static content to Pages #61: Commit 9103ec3 pushed by lukstafi
December 21, 2023 22:02 28s main
main
December 21, 2023 22:02 28s
Missing with-doc dependency Deploy static content to Pages #60: Commit b513773 pushed by lukstafi
December 21, 2023 10:20 22s main
main
December 21, 2023 10:20 22s
Update generated API docs Deploy static content to Pages #59: Commit eee284d pushed by lukstafi
December 21, 2023 10:15 23s main
main
December 21, 2023 10:15 23s
Tweak the documentation and bump version to 0.6.2 Deploy static content to Pages #58: Commit 7582a20 pushed by lukstafi
December 21, 2023 10:08 27s main
main
December 21, 2023 10:08 27s
Fix a typo in index.mld Deploy static content to Pages #57: Commit c980309 pushed by lukstafi
December 20, 2023 21:19 24s main
main
December 20, 2023 21:19 24s
Update generated API docs Deploy static content to Pages #56: Commit d64d115 pushed by lukstafi
December 20, 2023 21:18 24s main
main
December 20, 2023 21:18 24s
Header for 0.6.1 in CHANGELOG Deploy static content to Pages #55: Commit 38691fd pushed by lukstafi
December 20, 2023 20:06 24s main
main
December 20, 2023 20:06 24s
Downgrade version number, prepare for release Deploy static content to Pages #54: Commit 04618e0 pushed by lukstafi
December 20, 2023 19:22 23s main
main
December 20, 2023 19:22 23s
Fix bug in exceeds_max_children check for function calls, Deploy static content to Pages #53: Commit 4f8e5a5 pushed by lukstafi
December 20, 2023 18:48 20s main
main
December 20, 2023 18:48 20s
New setting max_num_children to debug infinite loops Deploy static content to Pages #52: Commit 207d87b pushed by lukstafi
December 19, 2023 21:03 29s main
main
December 19, 2023 21:03 29s
Fix README: outdated functor use Deploy static content to Pages #51: Commit d234a74 pushed by lukstafi
December 16, 2023 09:06 22s main
main
December 16, 2023 09:06 22s
Bump version number to 0.6.0 Deploy static content to Pages #50: Commit 6fe0430 pushed by lukstafi
December 15, 2023 15:04 20s main
main
December 15, 2023 15:04 20s
Remove outdated comment Deploy static content to Pages #49: Commit fe53a39 pushed by lukstafi
December 15, 2023 15:01 23s main
main
December 15, 2023 15:01 23s
Update generated API docs Deploy static content to Pages #48: Commit 724e70e pushed by lukstafi
December 15, 2023 14:58 22s main
main
December 15, 2023 14:58 22s
Fix and update the documentation Deploy static content to Pages #47: Commit dc74eb5 pushed by lukstafi
December 15, 2023 14:57 24s main
main
December 15, 2023 14:57 24s
debug_flushing entry point Deploy static content to Pages #46: Commit a636d94 pushed by lukstafi
December 14, 2023 21:34 21s main
main
December 14, 2023 21:34 21s
Bump the version number Deploy static content to Pages #45: Commit 80da645 pushed by lukstafi
December 14, 2023 14:29 23s main
main
December 14, 2023 14:29 23s
ProTip! You can narrow down the results and go further in time using created:<2023-12-14 or the other filters available.