Add more primitive proof rules #551

Sign in to view logs

Triggered via push September 25, 2024 04:28

mn200

master

Status Success

Total duration 1h 57m 18s

Artifacts –

docker-ci.yml

on: push