Skip to content
CI

rule distinct_elim; polymorphic programs to manipulate f-lists #365

Sign in to view logs

rule distinct_elim; polymorphic programs to manipulate f-lists

rule distinct_elim; polymorphic programs to manipulate f-lists #365

Triggered via push January 26, 2025 21:04
@Mallku2Mallku2
pushed 3b985fa
translation
Status Success
Total duration 1m 59s
Artifacts –

ci.yml

on: push
build
1m 37s
build
test
1m 49s
test
format
11s
format
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636