Doc workflow

new syntax pred A -> B. #941

Triggered via pull request September 17, 2025 08:42

gares

synchronize #368

syntax-pred

Status Success

Total duration 3m 53s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.42 MB	`sha256:fb99cd27e6bd9bf9af5c65fc04c6a19c8bc693a850824b05b93045a45434091a`