Skip to content

Actions: trdthg/sail

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add testcase Test coverage #78: Commit 3019946 pushed by trdthg
September 12, 2024 10:31 20m 31s issue639-dev2
issue639-dev2
September 12, 2024 10:31 20m 31s
demo Test coverage #77: Commit 2146dca pushed by trdthg
September 12, 2024 10:31 41m 57s issue639-dev
issue639-dev
September 12, 2024 10:31 41m 57s
Fix Seq.iteri is not avaliale in old version ocaml Test coverage #76: Commit 85d3347 pushed by trdthg
August 13, 2024 12:10 15m 20s fix-fmt-bitfield
fix-fmt-bitfield
August 13, 2024 12:10 15m 20s
Fix Seq.iteri is not avaliale in old version ocaml in ci Test coverage #75: Commit 81b2276 pushed by trdthg
August 13, 2024 12:02 3m 33s fix-fmt-bitfield
fix-fmt-bitfield
August 13, 2024 12:02 3m 33s
切分支 Test coverage #74: Commit 8f862e7 pushed by trdthg
August 13, 2024 11:53 42m 0s issue639-dev
issue639-dev
August 13, 2024 11:53 42m 0s
Fix sailcov on foo @ match xxx Test coverage #73: Commit 42cef72 pushed by trdthg
August 12, 2024 01:54 14m 14s issue639
issue639
August 12, 2024 01:54 14m 14s
Fmt: optimize fmt for let_binder, exps, if_stmt ... Test coverage #72: Commit 9ac6d52 pushed by trdthg
August 12, 2024 01:44 8m 52s fix-fmt-bitfield
fix-fmt-bitfield
August 12, 2024 01:44 8m 52s
Fmt: optimize fmt for let_binder, exps, if_stmt ... Test coverage #71: Commit 9ac6d52 pushed by trdthg
August 12, 2024 01:43 3m 35s fix-fmt-dev
fix-fmt-dev
August 12, 2024 01:43 3m 35s
Fmt: optimize fmt for let_binder, exps, if_stmt ... Test coverage #70: Commit 9ac6d52 pushed by trdthg
August 12, 2024 01:42 3m 33s fix-fmt-dev2
fix-fmt-dev2
August 12, 2024 01:42 3m 33s
update Test coverage #69: Commit 77d9068 pushed by trdthg
August 12, 2024 01:30 3m 37s fix-fmt-dev2
fix-fmt-dev2
August 12, 2024 01:30 3m 37s
Fix sailcov on foo @ match xxx Test coverage #68: Commit f44a8e6 pushed by trdthg
August 12, 2024 01:10 17m 53s issue639
issue639
August 12, 2024 01:10 17m 53s
Fix sailcov on foo @ match xxx Test coverage #67: Commit 814a274 pushed by trdthg
August 12, 2024 01:08 20m 3s issue639
issue639
August 12, 2024 01:08 20m 3s
update Test coverage #66: Commit 87b73c6 pushed by trdthg
August 11, 2024 13:05 4m 22s fix-fmt-dev2
fix-fmt-dev2
August 11, 2024 13:05 4m 22s
checkpoint Test coverage #65: Commit 80b0e28 pushed by trdthg
August 10, 2024 09:19 8m 58s fix-fmt-dev2
fix-fmt-dev2
August 10, 2024 09:19 8m 58s
done Test coverage #64: Commit 534d7ac pushed by trdthg
August 9, 2024 15:26 3m 28s fix-fmt-dev
fix-fmt-dev
August 9, 2024 15:26 3m 28s
checkoutpoint Test coverage #63: Commit 1583775 pushed by trdthg
August 9, 2024 08:19 15m 58s fix-fmt-dev
fix-fmt-dev
August 9, 2024 08:19 15m 58s
checkpoint Test coverage #62: Commit 822c9ee pushed by trdthg
August 7, 2024 15:51 14m 16s fix-fmt-dev
fix-fmt-dev
August 7, 2024 15:51 14m 16s
fmt dev Test coverage #61: Commit e070ec0 pushed by trdthg
August 7, 2024 08:39 19m 53s fix-fmt-dev
fix-fmt-dev
August 7, 2024 08:39 19m 53s
comment Test coverage #60: Commit 45851a0 pushed by trdthg
August 5, 2024 14:33 36m 39s issue639-dev
issue639-dev
August 5, 2024 14:33 36m 39s
add log Test coverage #59: Commit e2937f5 pushed by trdthg
August 2, 2024 01:45 41m 17s issue639-dev
issue639-dev
August 2, 2024 01:45 41m 17s
Fmt: optimize fmt for let_binder, exps, if_stmt ... Test coverage #58: Commit 2bb72e7 pushed by trdthg
July 30, 2024 04:02 14m 21s fix-fmt-bitfield
fix-fmt-bitfield
July 30, 2024 04:02 14m 21s
Fmt: allow Vector_update nowrap Test coverage #57: Commit 7b606a1 pushed by trdthg
July 29, 2024 12:04 14m 2s fix-fmt-bitfield
fix-fmt-bitfield
July 29, 2024 12:04 14m 2s
Check mapping completeness Test coverage #56: Commit bd229e9 pushed by trdthg
July 29, 2024 11:50 14m 28s mapping-match-complete
mapping-match-complete
July 29, 2024 11:50 14m 28s
update testcase Test coverage #55: Commit 2f18442 pushed by trdthg
July 29, 2024 09:17 14m 24s mapping-match-complete
mapping-match-complete
July 29, 2024 09:17 14m 24s
return imcomplete if meet unsupported syntax Test coverage #54: Commit aeb3ce1 pushed by trdthg
July 29, 2024 08:24 15m 21s mapping-match-complete
mapping-match-complete
July 29, 2024 08:24 15m 21s