Doc workflow

new syntax pred A -> B. #942

Triggered via pull request September 17, 2025 08:43

gares

synchronize #368

syntax-pred

Status Success

Total duration 4m 3s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.42 MB	`sha256:e3b505715eb0fa4a5c6ae5a848ab0cf4b4ee006dc0a35c0c7c957222e7545bdc`