Doc workflow

new syntax pred A -> B. #944

Triggered via pull request September 17, 2025 11:11

gares

synchronize #368

syntax-pred

Status Success

Total duration 3m 24s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.42 MB	`sha256:1039138da03b954c87bbb76e0f37690e3f1a985695a04cb993e7ce25a47defcf`