Doc workflow

new syntax pred A -> B. #939

Triggered via pull request September 17, 2025 08:38

gares

synchronize #368

syntax-pred

Status Success

Total duration 3m 14s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.42 MB	`sha256:9b174f45ee43a85b2193fd45203ed5190e9c4d37f018aaeb5d6276d073b949df`