Skip to content
Makefile CI

Rework step theorem generation to be faster and cache intermediate results to the environment #717

Sign in to view logs

Rework step theorem generation to be faster and cache intermediate results to the environment

Rework step theorem generation to be faster and cache intermediate results to the environment #717

Triggered via pull request August 16, 2024 19:33
@alexkeizeralexkeizer
synchronize #92
alexkeizer:better-fetch-theorem-gen
Status Success
Total duration 8m 10s
Artifacts –

makefile.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in