Skip to content
Makefile CI

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

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 #722

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

makefile.yml

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