Skip to content
CI

Monotonicity and modalities for predicates over types with orders #59

Sign in to view logs

Monotonicity and modalities for predicates over types with orders

Monotonicity and modalities for predicates over types with orders #59

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-deploy
2m 40s
2m 40s