Skip to content
.github/workflows/generate_docs.yml

[Paper Artifact] Equational Reasoning for Probabilistic Programming #1179

Sign in to view logs

[Paper Artifact] Equational Reasoning for Probabilistic Programming

[Paper Artifact] Equational Reasoning for Probabilistic Programming #1179

Triggered via pull request January 21, 2026 04:46
@affeldt-aistaffeldt-aist
synchronize #1712
affeldt-aist:prob_lang_noisy
Status Success
Total duration 47m 48s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
47m 44s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_prob_lang_noisy
6.97 MB
sha256:cfc1f6a053d957023a12874fd0665bcac502a250fc399cb3fdfb86b4c12e44db