Skip to content
build & test

Re-implement simp_alive with the new framework #586

Sign in to view logs

Re-implement simp_alive with the new framework

Re-implement simp_alive with the new framework #586

Triggered via pull request October 24, 2023 12:05
@alexkeizeralexkeizer
synchronize #111
alive-simp-lemmas
Status Success
Total duration 6m 38s
Artifacts –

ci.yml

on: pull_request
build and test code
6m 26s
build and test code
Fit to window
Zoom out
Zoom in