Skip to content
CI

feat: Prove Lemma M7.5. #135

Sign in to view logs

feat: Prove Lemma M7.5.

feat: Prove Lemma M7.5. #135

Triggered via pull request June 18, 2024 00:39
@kylechuikylechui
synchronize #58
feat/prove-m7.5
Status Success
Total duration 6m 20s
Artifacts –

integration.yml

on: pull_request
build
6m 11s
build
Fit to window
Zoom out
Zoom in