Skip to content

Actions: lukstafi/ppx_minidebug

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Missing maintainer email
ci #213: Commit 7d6270b pushed by lukstafi
October 22, 2024 10:48 5m 46s main
October 22, 2024 10:48 5m 46s
Update generated API docs
ci #212: Commit c844145 pushed by lukstafi
October 18, 2024 20:26 7m 59s main
October 18, 2024 20:26 7m 59s
Update documentation and prepare release 2.0.2
ci #211: Commit 21195df pushed by lukstafi
October 18, 2024 20:25 4m 32s main
October 18, 2024 20:25 4m 32s
October 18, 2024 18:13 4m 44s
only output BEGIN DEBUG SESSION when the (initial) log level > 0
ci #209: Commit 409f866 pushed by lukstafi
October 18, 2024 16:59 3m 38s main
October 18, 2024 16:59 3m 38s
Update generated API docs
ci #208: Commit 74ba8ff pushed by lukstafi
October 18, 2024 14:09 10m 26s main
October 18, 2024 14:09 10m 26s
Tiny README fix: stale log levels
ci #207: Commit f9b9135 pushed by lukstafi
October 18, 2024 14:08 8m 0s main
October 18, 2024 14:08 8m 0s
Updated landing page (README translation)
ci #206: Commit 7300ed5 pushed by lukstafi
September 9, 2024 07:12 5m 5s main
September 9, 2024 07:12 5m 5s
Update generated API docs
ci #205: Commit 3883ed7 pushed by lukstafi
September 9, 2024 07:09 4m 48s main
September 9, 2024 07:09 4m 48s
Formatting.
ci #204: Commit 5c62e96 pushed by lukstafi
September 8, 2024 19:31 3m 59s main
September 8, 2024 19:31 3m 59s
Revert doc change: global log level does not affect entry log levels
ci #203: Commit 748b47f pushed by lukstafi
September 8, 2024 14:00 5m 14s main
September 8, 2024 14:00 5m 14s
September 8, 2024 13:39 3m 42s
Bug fix: get rid of str_formatter
ci #201: Commit 7b7a692 pushed by lukstafi
September 8, 2024 12:40 7m 35s main
September 8, 2024 12:40 7m 35s
September 1, 2024 08:58 4m 7s
Try skipping over unrelated CI failure; test 5.2 in CI
ci #199: Commit af6917e pushed by lukstafi
August 26, 2024 19:42 8m 3s main
August 26, 2024 19:42 8m 3s
August 26, 2024 17:49 4m 54s
New extension point %log_block
ci #197: Commit e07aaa8 pushed by lukstafi
August 26, 2024 10:06 4m 35s main
August 26, 2024 10:06 4m 35s
Untested: runtime log levels: %at_log_level, %logN etc.
ci #196: Commit 9ae1320 pushed by lukstafi
August 25, 2024 20:14 4m 23s main
August 25, 2024 20:14 4m 23s
August 25, 2024 19:28 4m 33s
Update generated API docs
ci #194: Commit 9ffcf89 pushed by lukstafi
August 25, 2024 13:44 7m 2s main
August 25, 2024 13:44 7m 2s
Prepare for release 2.0
ci #193: Commit e62db64 pushed by lukstafi
August 25, 2024 13:44 3m 51s main
August 25, 2024 13:44 3m 51s
Fixes #58: get rid of _rtb_ and _lb_
ci #192: Commit 1145649 pushed by lukstafi
August 25, 2024 13:43 3m 52s main
August 25, 2024 13:43 3m 52s
Fixes #51: get rid of the _this_ infix
ci #191: Commit 324f375 pushed by lukstafi
August 25, 2024 12:51 4m 17s main
August 25, 2024 12:51 4m 17s
Update generated API docs
ci #190: Commit 5e047ef pushed by lukstafi
August 24, 2024 20:56 3m 45s main
August 24, 2024 20:56 3m 45s
Update the documentation about log levels
ci #189: Commit 51cc1ea pushed by lukstafi
August 24, 2024 20:56 3m 55s main
August 24, 2024 20:56 3m 55s