Doc workflow

new syntax pred A -> B. #937

Triggered via pull request September 17, 2025 08:18

gares

opened #368

syntax-pred

Status Success

Total duration 3m 8s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.42 MB	`sha256:1bb2ee7df15000a5810b9186409a4a7f938b6b8ab7c638e9626d0b16f285cc49`