Skip to content
.github/workflows/generate_docs.yml

[Paper Artifact] Equational Reasoning for Probabilistic Programming #982

Sign in to view logs

[Paper Artifact] Equational Reasoning for Probabilistic Programming

[Paper Artifact] Equational Reasoning for Probabilistic Programming #982

Triggered via pull request November 10, 2025 04:34
@affeldt-aistaffeldt-aist
synchronize #1712
affeldt-aist:prob_lang_noisy
Status Success
Total duration 42m 34s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_prob_lang_noisy
22 MB
sha256:46932b6c5877370bf5b19f1c7c419978fcf1e8281e26acb52b3c53fbad2af276