Skip to content
CI

Fix restrictions of or-patterns #3834

Sign in to view logs

Fix restrictions of or-patterns

Fix restrictions of or-patterns #3834

Triggered via pull request December 15, 2025 09:42
@kirtchev-adacorekirtchev-adacore
synchronize #2108
kirtchev-adacore:pr/fix-or-pattern-definition
Status Success
Total duration 1m 50s
Artifacts 1

main.yml

on: pull_request
code-tests
58s
code-tests
style-tests
1m 40s
style-tests
mdbook-spec
27s
mdbook-spec
preview
52s
preview
Success gate
4s
Success gate
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
preview-2108
3.02 MB
sha256:95974ddfce964ca476d97462790f64455669eeeccba5cfcaf2d84b688c7de20e