Skip to content

fix(ci): address four failing CI checks - #500

Merged
AlexMikhalev merged 1 commit into
mainfrom
fix/ci-four-checks
Jan 30, 2026
Merged

AlexMikhalev merged 1 commit into
mainfrom
fix/ci-four-checks

Conversation

@AlexMikhalev

Copy link
Copy Markdown
Contributor

Cherry-pick CI fixes onto main:

  • terraphim_automata: #[allow(dead_code)] for read_url (Quick Rust Validation)
  • deploy-docs.yml: Pre-checkout cleanup of target/ on self-hosted (Build Documentation)
  • python-bindings.yml: Pre-checkout cleanup of target/ on self-hosted (Lint Python Code)
  • deploy-website.yml: Skip deploy job on pull_request (1password/setup not found on PRs)

- terraphim_automata: add #[allow(dead_code)] for read_url (Quick Rust Validation)
- deploy-docs.yml: pre-checkout cleanup of target/ on self-hosted (Build Documentation)
- python-bindings.yml: pre-checkout cleanup of target/ on self-hosted (Lint Python Code)
- deploy-website.yml: skip deploy job on pull_request (1password/setup not found on PRs)
@AlexMikhalev
AlexMikhalev merged commit 6565f6e into main Jan 30, 2026
19 of 20 checks passed
@AlexMikhalev
AlexMikhalev deleted the fix/ci-four-checks branch January 30, 2026 17:16
AlexMikhalev added a commit that referenced this pull request Apr 25, 2026
- terraphim_automata: add #[allow(dead_code)] for read_url (Quick Rust Validation)
- deploy-docs.yml: pre-checkout cleanup of target/ on self-hosted (Build Documentation)
- python-bindings.yml: pre-checkout cleanup of target/ on self-hosted (Lint Python Code)
- deploy-website.yml: skip deploy job on pull_request (1password/setup not found on PRs)

Co-authored-by: Terraphim CI <alex@terraphim.ai>
AlexMikhalev added a commit that referenced this pull request May 1, 2026
- terraphim_automata: add #[allow(dead_code)] for read_url (Quick Rust Validation)
- deploy-docs.yml: pre-checkout cleanup of target/ on self-hosted (Build Documentation)
- python-bindings.yml: pre-checkout cleanup of target/ on self-hosted (Lint Python Code)
- deploy-website.yml: skip deploy job on pull_request (1password/setup not found on PRs)

Co-authored-by: Terraphim CI <alex@terraphim.ai>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant