Doc workflow

new syntax pred A -> B. #940

Triggered via pull request September 17, 2025 08:38

gares

synchronize #368

syntax-pred

Status Success

Total duration 4m 10s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.42 MB	`sha256:2d1f69a2176a8f4db85dca9cfd6941858a2c554e2a83abd5384314b333eff5b2`