Skip to content
o1vm CI

[saffron] Add Diff type , methods, and tests #981

Sign in to view logs

[saffron] Add Diff type , methods, and tests

[saffron] Add Diff type , methods, and tests #981

Triggered via pull request February 8, 2025 04:32
@martyallmartyall
synchronize #3006
martin/saffron-add-diff-type
Status Success
Total duration 1h 8m 50s
Artifacts –

o1vm-ci.yml

on: pull_request
Matrix: Run o1vm with cached data
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Run o1vm with cached data (1.74, 4.14)
Restore cache failed: Dependencies file is not found in /home/runner/work/proof-systems/proof-systems. Supported file pattern: go.sum