Skip to content
.github/workflows/push_pr.yml

feat: progress on computing modular characters in concrete types #402

Sign in to view logs

feat: progress on computing modular characters in concrete types

feat: progress on computing modular characters in concrete types #402

Triggered via pull request November 18, 2024 15:43
@YaelDilliesYaelDillies
opened #223
javierlcontreras:tcc_18_nov_concrete_modular_haar_char
Status Success
Total duration 4m 16s
Artifacts –

push_pr.yml

on: pull_request
Build project
4m 1s
Build project
Fit to window
Zoom out
Zoom in