.github/workflows/pull_request.yml

Refactor a few proofs #545

Sign in to view logs

Triggered via pull request May 30, 2024 13:06

opened #180

pitmonticone:refactor-simp

Status Success

Total duration 5m 12s

Artifacts –

pull_request.yml

on: pull_request

Build blueprint