.github/workflows/push_pr.yml

refactor: golf `TileExistence.lean` #327

Sign in to view logs

Triggered via pull request September 7, 2024 15:50

synchronize #113

pitmonticone/golf-TileExistence

Status Success

Total duration 7m 4s

Artifacts –

push_pr.yml

on: pull_request