Skip to content
CI

Small IPC lemmas #3263

Sign in to view logs

Small IPC lemmas

Small IPC lemmas #3263

Triggered via pull request October 8, 2024 05:08
@michaelmcinerneymichaelmcinerney
opened #822
michaelm-small_ipc_lemmas
Status Success
Total duration 27s
Artifacts –

push.yml

on: pull_request
License Check
18s
License Check
Links
16s
Links
Fit to window
Zoom out
Zoom in