Skip to content
CI

add: Refinement ProvabilityAbstraction (#766) #2552

Sign in to view logs

add: Refinement ProvabilityAbstraction (#766)

add: Refinement ProvabilityAbstraction (#766) #2552

Triggered via push February 19, 2026 23:45
@SnO2WMaNSnO2WMaN
pushed 4691442
master
Status Success
Total duration 8m 35s
Artifacts 1

ci.yml

on: push
Build project
7m 51s
Build project
Check references.bib format
27s
Check references.bib format
Check mk_all executed
1m 58s
Check mk_all executed
Generate page
36s
Generate page
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
34.8 MB
sha256:bfbbbae461100ef16df6efff688061cf6787812a7290ddbd36b8b9e59c306a16