Skip to content
Main workflow

attribute to disable occur check #1397

Sign in to view logs

attribute to disable occur check

attribute to disable occur check #1397

Annotations

1 error

Build and test elpi (ubuntu-latest, 5.3.x, fatalwarnings)

Build and test elpi (ubuntu-latest, 5.3.x, fatalwarnings)
failed Oct 26, 2025 in 4m 41s