Skip to content

ci(sunholo-data-ailang-bootstrap): add HOL ai-plugin-scanner workflow#5

Open
internet-dot wants to merge 1 commit into
sunholo-data:mainfrom
internet-dot:ci/codex-plugin-scanner
Open

ci(sunholo-data-ailang-bootstrap): add HOL ai-plugin-scanner workflow#5
internet-dot wants to merge 1 commit into
sunholo-data:mainfrom
internet-dot:ci/codex-plugin-scanner

ci: add codex-plugin-scanner workflow

2e09a81
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs