Skip to content
CI

fix: Refinement of ProvabilityAbstraction Pt.2 #2553

Sign in to view logs

fix: Refinement of ProvabilityAbstraction Pt.2

fix: Refinement of ProvabilityAbstraction Pt.2 #2553

Triggered via pull request February 20, 2026 04:05
@SnO2WMaNSnO2WMaN
opened #769
refactor-prov-abstraction-2
Status Success
Total duration 7m 48s
Artifacts 1

ci.yml

on: pull_request
Build project
7m 43s
Build project
Check references.bib format
35s
Check references.bib format
Check mk_all executed
2m 8s
Check mk_all executed
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
34.7 MB
sha256:6f9741c43f68d88210b3e9f1d2222f86bae91dd2161b148fa4e86f8e88cb2c7c