Skip to content

Actions: leanprover/SampCert

Actions

Test FFI 2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests in Lean Test FFI 2 #4: Pull request #47 synchronize by jtristan
July 22, 2024 18:25 9m 19s KSLean
KSLean
July 22, 2024 18:25 9m 19s
Tests in Lean Test FFI 2 #3: Pull request #47 synchronize by jtristan
July 22, 2024 18:04 49m 39s KSLean
KSLean
July 22, 2024 18:04 49m 39s
Tests in Lean Test FFI 2 #2: Pull request #47 synchronize by jtristan
July 22, 2024 17:52 9m 26s KSLean
KSLean
July 22, 2024 17:52 9m 26s
Tests in Lean Test FFI 2 #1: Pull request #47 synchronize by jtristan
July 22, 2024 17:51 17s KSLean
KSLean
July 22, 2024 17:51 17s