Skip to content

Actions: lfrenot/sail

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Actually fixing Test coverage #66: Commit 7be2cb9 pushed by lfrenot
January 15, 2025 13:24 22m 31s lean-register
lean-register
January 15, 2025 13:24 22m 31s
Fix run_tests Test coverage #65: Commit 21b73bd pushed by lfrenot
January 15, 2025 13:22 23m 1s lean-register
lean-register
January 15, 2025 13:22 23m 1s
Formatting Test coverage #64: Commit d67105e pushed by lfrenot
January 15, 2025 13:17 22m 52s lean-register
lean-register
January 15, 2025 13:17 22m 52s
Starting to fix the broken tests Test coverage #63: Commit 395858e pushed by lfrenot
January 15, 2025 13:15 22m 59s lean-register
lean-register
January 15, 2025 13:15 22m 59s
adding force-output to the lean tests Test coverage #62: Commit 399869f pushed by lfrenot
January 14, 2025 14:48 24m 5s lean-register
lean-register
January 14, 2025 14:48 24m 5s
fix in case of no register Test coverage #61: Commit 70b380d pushed by lfrenot
January 14, 2025 14:03 23m 12s lean-register
lean-register
January 14, 2025 14:03 23m 12s
Adding test Test coverage #60: Commit 5027c67 pushed by lfrenot
January 14, 2025 13:39 22m 50s lean-register
lean-register
January 14, 2025 13:39 22m 50s
changes after merge Test coverage #59: Commit 4613fb6 pushed by lfrenot
January 14, 2025 13:38 22m 52s lean-register
lean-register
January 14, 2025 13:38 22m 52s
internal_plet Test coverage #58: Commit 52541c1 pushed by lfrenot
January 13, 2025 14:12 22m 36s lean-register
lean-register
January 13, 2025 14:12 22m 36s
Removing the addition import files Test coverage #57: Commit bd7c2d1 pushed by lfrenot
January 10, 2025 14:30 3m 34s lean-register
lean-register
January 10, 2025 14:30 3m 34s
Removing the addition import files Test coverage #56: Commit 67b5ae7 pushed by lfrenot
January 10, 2025 13:05 23m 17s lean-record-features
lean-record-features
January 10, 2025 13:05 23m 17s
SMT: Add missing arith_bits case Test coverage #55: Commit 18b0aec pushed by lfrenot
January 10, 2025 11:33 28m 10s sail2
sail2
January 10, 2025 11:33 28m 10s
Removing useless changes Test coverage #54: Commit 9999aff pushed by lfrenot
January 9, 2025 10:25 28m 41s lean-record-features
lean-record-features
January 9, 2025 10:25 28m 41s
Removing useless changes Test coverage #53: Commit 3a9f237 pushed by lfrenot
December 20, 2024 13:31 22m 30s lean-record-features
lean-record-features
December 20, 2024 13:31 22m 30s
missing edit for the rebase Test coverage #52: Commit 492d310 pushed by lfrenot
December 17, 2024 16:14 24m 22s lean-record-features
lean-record-features
December 17, 2024 16:14 24m 22s
Typo fixes Test coverage #51: Commit 4583c5a pushed by lfrenot
December 17, 2024 16:11 25m 26s lean-record-features
lean-record-features
December 17, 2024 16:11 25m 26s
Lean: fix generated lean projects (#829) Test coverage #50: Commit 52d292a pushed by lfrenot
December 17, 2024 16:08 24m 30s sail2
sail2
December 17, 2024 16:08 24m 30s
Typo fixes Test coverage #49: Commit b0de2a6 pushed by lfrenot
December 17, 2024 14:31 25m 0s lean-record-features
lean-record-features
December 17, 2024 14:31 25m 0s
Larger struct test file Test coverage #48: Commit 84df9be pushed by lfrenot
December 17, 2024 13:26 24m 52s lean-record-features
lean-record-features
December 17, 2024 13:26 24m 52s
enable use of ocamldebug Test coverage #47: Commit 725cbde pushed by lfrenot
December 17, 2024 13:25 25m 7s sail2
sail2
December 17, 2024 13:25 25m 7s
fix expected output Test coverage #46: Commit f15991b pushed by lfrenot
December 10, 2024 12:43 24m 48s lean-record-features
lean-record-features
December 10, 2024 12:43 24m 48s
fix test name Test coverage #45: Commit ba12683 pushed by lfrenot
December 10, 2024 12:38 24m 37s lean-record-features
lean-record-features
December 10, 2024 12:38 24m 37s
Fix removed file from install list Test coverage #44: Commit 3364899 pushed by lfrenot
December 9, 2024 15:50 25m 43s sail2
sail2
December 9, 2024 15:50 25m 43s
updated test Test coverage #43: Commit 01df2ff pushed by lfrenot
December 9, 2024 15:50 25m 6s lean-record-features
lean-record-features
December 9, 2024 15:50 25m 6s
Cleanup registers Test coverage #42: Commit 92c73eb pushed by lfrenot
December 9, 2024 15:45 25m 25s lean-record-features
lean-record-features
December 9, 2024 15:45 25m 25s