Skip to content
.github/workflows/pull_request.yml

Drop upstreamed lemmas #628

Sign in to view logs

Drop upstreamed lemmas

Drop upstreamed lemmas #628

Triggered via pull request February 9, 2025 19:33
@Ruben-VandeVeldeRuben-VandeVelde
opened #229
Ruben-VandeVelde:drop-10672
Status Success
Total duration 5m 41s
Artifacts –

pull_request.yml

on: pull_request
Build
5m 32s
Build
Build blueprint
47s
Build blueprint
Fit to window
Zoom out
Zoom in