Skip to content

Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules #4

Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules

Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules #4

Triggered via pull request July 3, 2026 04:49
@Coda-CodaCoda-Coda
synchronize #268
Status Success
Total duration 20s
Artifacts

summary.yml

on: pull_request_target
summarize
17s
summarize
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
summarize
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: astral-sh/setup-uv@v6. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
summarize
Unexpected input(s) 'provider', valid inputs are ['github_token', 'api_key', 'github_repository', 'pr_number', 'model', 'lean_keywords', 'additional_instructions_path', 'reasoning_effort', 'validate_title', 'upstream_path', 'max_file_diff_chars', 'max_instructions_diff_chars']
summarize
No file matched to [/home/runner/work/iris-lean/iris-lean/**/*requirements*.txt,/home/runner/work/iris-lean/iris-lean/**/*requirements*.in,/home/runner/work/iris-lean/iris-lean/**/*constraints*.txt,/home/runner/work/iris-lean/iris-lean/**/*constraints*.in,/home/runner/work/iris-lean/iris-lean/**/pyproject.toml,/home/runner/work/iris-lean/iris-lean/**/uv.lock,/home/runner/work/iris-lean/iris-lean/**/*.py.lock]. The cache will never get invalidated. Make sure you have checked out the target repository and configured the cache-dependency-glob input correctly.
summarize
Unexpected input(s) 'provider', valid inputs are ['github_token', 'api_key', 'github_repository', 'pr_number', 'model', 'lean_keywords', 'additional_instructions_path', 'reasoning_effort', 'validate_title', 'upstream_path', 'max_file_diff_chars', 'max_instructions_diff_chars']