Skip to content
.github/workflows/generate_docs.yml

[Paper Artifact] Application of s-finite kernels to program semantics #1174

Sign in to view logs

[Paper Artifact] Application of s-finite kernels to program semantics

[Paper Artifact] Application of s-finite kernels to program semantics #1174

Triggered via pull request January 19, 2026 10:55
@affeldt-aistaffeldt-aist
synchronize #912
affeldt-aist:prob_lang
Status Success
Total duration 45m 34s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
45m 30s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_prob_lang
6.91 MB
sha256:ed8731e141dbd8916643c5b0573812812553ce6d1368b9f23d2a9971cd07396e