Skip to content
.github/workflows/generate_docs.yml

generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas #1303

Sign in to view logs

generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas

generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas #1303

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generate-artifacts
44m 44s
44m 44s