docker-ci-for-pr

Add LIST_REL aliases for EVERY2 theorems #1150

Sign in to view logs

Triggered via pull request January 13, 2026 07:13

xrchz

opened #1772

every2

Status Success

Total duration 2h 6m 55s

Artifacts –

docker-ci-for-pr.yml

on: pull_request