Doc workflow

new syntax pred A -> B. #938

Triggered via pull request September 17, 2025 08:36

gares

synchronize #368

syntax-pred

Status Success

Total duration 3m 26s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.42 MB	`sha256:12e74adc1d716f54e7095c9c686fbbcbb3b55b4da20198cf47d931e6c16ebbbf`