Skip to content
.github/workflows/build.yml

Update the Practices of PLDI #435

Sign in to view logs

Update the Practices of PLDI

Update the Practices of PLDI #435

Triggered via pull request November 22, 2024 00:43
@andrewcmyersandrewcmyers
opened #269
andrewcmyers:master
Status Success
Total duration 46s
Artifacts –

build.yml

on: pull_request
build
37s
build
Fit to window
Zoom out
Zoom in