Skip to content
Github CI

Replace UState.of_context_set with code that includes env universes #91

Sign in to view logs

Replace UState.of_context_set with code that includes env universes

Replace UState.of_context_set with code that includes env universes #91

Triggered via push December 5, 2025 21:02
@yannl35133yannl35133
pushed d142e67
fix-indtables-minimization
Status Success
Total duration 33m 53s
Artifacts –

ci-github.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in