Skip to content
Compile blueprint

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

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] #39

Triggered via pull request December 3, 2024 14:12
@YaelDilliesYaelDillies
synchronize #223
javierlcontreras:tcc_18_nov_concrete_modular_haar_char
Status Success
Total duration 14m 4s
Artifacts –

blueprint.yml

on: pull_request
Lint style
0s
Lint style
Build project
13m 51s
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