Skip to content

Actions: lukstafi/ppx_minidebug

Actions

Deploy static content to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static.yml
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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.