Merge pull request #79 from CakeML/bye-triviality #504

Triggered via push November 13, 2025 15:26

myreen

master

Status Success

Total duration 2h 57m 49s

Artifacts 1

pure.yml

on: push

Produced during runtime

Name	Size	Digest
pure.S	630 KB	`sha256:0ff0322ddd7d034af3b5792251ec75b5fdab0e53e882a4d9d4ef0114744f1ced`