Skip to content
Compile blueprint

feat: compute the distributive Haar character of ℝ, ℂ, ℤ_[p] and ℚ_[p] #36

Sign in to view logs

feat: compute the distributive Haar character of ℝ, ℂ, ℤ_[p] and ℚ_[p]

feat: compute the distributive Haar character of ℝ, ℂ, ℤ_[p] and ℚ_[p] #36

Triggered via pull request December 2, 2024 21:26
@YaelDilliesYaelDillies
synchronize #223
javierlcontreras:tcc_18_nov_concrete_modular_haar_char
Status Success
Total duration 14m 20s
Artifacts –

blueprint.yml

on: pull_request
Lint style
0s
Lint style
Build project
14m 10s
Build project
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Lint style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build project
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636