Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) · rems-project/sail@5c355b5

Triggered via pull request February 5, 2025 17:16

synchronize #954

Status Success

Total duration 23m 27s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

1 error and 1 notice

extern.sail with error: /#L0

./lean/tests.xml

There are 762 tests, see "Raw output" for the full list of tests.

Produced during runtime