Skip to content
build & test

Re-implement simp_alive with the new framework #619

Sign in to view logs

Re-implement simp_alive with the new framework

Re-implement simp_alive with the new framework #619

Triggered via pull request October 25, 2023 01:21
@tobiasgrossertobiasgrosser
synchronize #111
alive-simp-lemmas
Status Failure
Total duration 1m 38s
Artifacts –

ci.yml

on: pull_request
build and test code
1m 28s
build and test code
Fit to window
Zoom out
Zoom in

Annotations

1 error
build and test code
Process completed with exit code 1.