Skip to content

Actions: lukstafi/ppx_minidebug

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
524 workflow runs
524 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version number ci #214: Commit df264ac pushed by lukstafi
December 8, 2024 12:40 8m 15s main
main
December 8, 2024 12:40 8m 15s
Bump version number Deploy static content to Pages #332: Commit df264ac pushed by lukstafi
December 8, 2024 12:40 22s main
main
December 8, 2024 12:40 22s
Missing maintainer email Deploy static content to Pages #331: Commit 7d6270b pushed by lukstafi
October 22, 2024 10:48 21s main
main
October 22, 2024 10:48 21s
Missing maintainer email ci #213: Commit 7d6270b pushed by lukstafi
October 22, 2024 10:48 5m 46s main
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
main
October 18, 2024 20:26 7m 59s
Update generated API docs Deploy static content to Pages #330: Commit c844145 pushed by lukstafi
October 18, 2024 20:26 22s main
main
October 18, 2024 20:26 22s
Update documentation and prepare release 2.0.2 Deploy static content to Pages #329: Commit 21195df pushed by lukstafi
October 18, 2024 20:25 27s main
main
October 18, 2024 20:25 27s
Update documentation and prepare release 2.0.2 ci #211: Commit 21195df pushed by lukstafi
October 18, 2024 20:25 4m 32s main
main
October 18, 2024 20:25 4m 32s
Only create debug files if needed; give up non-uniform splitting file… Deploy static content to Pages #328: Commit 8cb8918 pushed by lukstafi
October 18, 2024 18:13 33s main
main
October 18, 2024 18:13 33s
Only create debug files if needed; give up non-uniform splitting file… ci #210: Commit 8cb8918 pushed by lukstafi
October 18, 2024 18:13 4m 44s main
main
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
main
October 18, 2024 16:59 3m 38s
only output BEGIN DEBUG SESSION when the (initial) log level > 0 Deploy static content to Pages #327: Commit 409f866 pushed by lukstafi
October 18, 2024 16:59 26s main
main
October 18, 2024 16:59 26s
Update generated API docs ci #208: Commit 74ba8ff pushed by lukstafi
October 18, 2024 14:09 10m 26s main
main
October 18, 2024 14:09 10m 26s
Update generated API docs Deploy static content to Pages #326: Commit 74ba8ff pushed by lukstafi
October 18, 2024 14:09 25s main
main
October 18, 2024 14:09 25s
Tiny README fix: stale log levels Deploy static content to Pages #325: Commit f9b9135 pushed by lukstafi
October 18, 2024 14:08 18s main
main
October 18, 2024 14:08 18s
Tiny README fix: stale log levels ci #207: Commit f9b9135 pushed by lukstafi
October 18, 2024 14:08 8m 0s main
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
main
September 9, 2024 07:12 5m 5s
Updated landing page (README translation) Deploy static content to Pages #324: Commit 7300ed5 pushed by lukstafi
September 9, 2024 07:12 28s main
main
September 9, 2024 07:12 28s
Update generated API docs Deploy static content to Pages #323: Commit 3883ed7 pushed by lukstafi
September 9, 2024 07:09 24s main
main
September 9, 2024 07:09 24s
Update generated API docs ci #205: Commit 3883ed7 pushed by lukstafi
September 9, 2024 07:09 4m 48s main
main
September 9, 2024 07:09 4m 48s
Formatting. ci #204: Commit 5c62e96 pushed by lukstafi
September 8, 2024 19:31 3m 59s main
main
September 8, 2024 19:31 3m 59s
Formatting. Deploy static content to Pages #322: Commit 5c62e96 pushed by lukstafi
September 8, 2024 19:31 24s main
main
September 8, 2024 19:31 24s
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
main
September 8, 2024 14:00 5m 14s
Revert doc change: global log level does not affect entry log levels Deploy static content to Pages #321: Commit 748b47f pushed by lukstafi
September 8, 2024 14:00 28s main
main
September 8, 2024 14:00 28s
Clarify doc for global compile time setting, prepare for release 2.0.1 ci #202: Commit 3018ea6 pushed by lukstafi
September 8, 2024 13:39 3m 42s main
main
September 8, 2024 13:39 3m 42s