Merge pull request #78 from CakeML/cake-thunks #499

Triggered via push October 23, 2025 17:10

myreen

master

Status Success

Total duration 3h 16m 46s

Artifacts 1

pure.yml

on: push

Produced during runtime

Name	Size	Digest
pure.S	630 KB	`sha256:1fd3e7593c70cace39934206e68e9d2025609dd75148e408807bbb6e660f638f`