CI

refactor(IntProp): Remove flexible `simp` in Hetring Semantics #855

Sign in to view logs

Triggered via pull request January 1, 2025 21:29

SnO2WMaN

opened #182

refactor-heyting-intprop

Status Success

Total duration 1m 53s

Artifacts –

ci.yml

on: pull_request

Annotations

1 warning

Build project

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