Replace Triviality by local Theorem #503

Triggered via pull request November 13, 2025 08:30

dnezam

opened #79

bye-triviality

Status Success

Total duration 2h 57m 57s

Artifacts 1

pure.yml

on: pull_request

Produced during runtime

Name	Size	Digest
pure.S	630 KB	`sha256:b29538fa98cd6a26c27a0574d528ca9a85e30170f7a58c1293fb817526289db7`