Skip to content
Bump version and make master job

Add proof hint integration tests to llvm backend proof hint tests (#1… #19

Sign in to view logs

Add proof hint integration tests to llvm backend proof hint tests (#1…

Add proof hint integration tests to llvm backend proof hint tests (#1… #19

Triggered via push May 20, 2024 17:28
@dwightguthdwightguth
pushed 9ea795c
develop
Status Success
Total duration 16s
Artifacts –

develop.yml

on: push
Version Bump
7s
Version Bump
Fit to window
Zoom out
Zoom in