Skip to content
o1vm CI

Fix the equality function in the o1vm interpreter #40

Sign in to view logs

Fix the equality function in the o1vm interpreter

Fix the equality function in the o1vm interpreter #40

Triggered via pull request October 30, 2024 18:35
@marcbeunardeau88marcbeunardeau88
opened #2736
marc/fix-vm
Status Success
Total duration 33m 36s
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