Style linters

feat(G2/Algebra): Add algebraic foundations #4

Sign in to view logs

Triggered via pull request January 16, 2026 16:17

synchronize #2

feat/brieuc/gift-phase2

Status Failure

Total duration 32m 0s

Artifacts –

build.yml

on: pull_request

Lean based style linters

Python based style linter

Check for spelling errors

Annotations

1 error

Lean based style linters

Process completed with exit code 1.