Skip to content

Simplify prelude.sail by including generic_equality.sail and mapping.sail #703

Simplify prelude.sail by including generic_equality.sail and mapping.sail

Simplify prelude.sail by including generic_equality.sail and mapping.sail #703

Triggered via pull request December 7, 2023 14:09
Status Success
Total duration 24m 0s
Artifacts 2

compile.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 notice
712 tests found
There are 712 tests, see "Raw output" for the full list of tests.

Artifacts

Produced during runtime
Name Size
event.json Expired
28.8 KB
tests.xml Expired
34.5 KB