Fix `pure_eval_surj` after change in HOL #411

Sign in to view logs

Summary
Jobs
- build
- release
- notify
Run details
- Usage
- Workflow file

Triggered via push September 9, 2024 22:32

hrutvik

master

Status Success

Total duration 5h 21m 56s

Artifacts 1

pure.yml

on: push

Artifacts

Produced during runtime

Name	Size
pure.S	816 KB