Skip to content
.github/workflows/push_pr.yml

feat: Prove continuity of map K_v -> L_w #401

Sign in to view logs

feat: Prove continuity of map K_v -> L_w

feat: Prove continuity of map K_v -> L_w #401

Re-run triggered November 18, 2024 12:52
@YaelDilliesYaelDillies
#215
javierlcontreras:TCC_11Nov_ContinuityMap
Status Success
Total duration 4m 7s
Artifacts –

push_pr.yml

on: pull_request
Build project
3m 55s
Build project
Fit to window
Zoom out
Zoom in