Skip to content

Actions: trdthg/sail

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support empty bitfield Test coverage #89: Commit 347183a pushed by trdthg
January 22, 2025 08:22 22m 35s empty_bitfield
empty_bitfield
January 22, 2025 08:22 22m 35s
Support empty bitfield Test coverage #88: Commit ec32ea4 pushed by trdthg
January 22, 2025 07:42 23m 33s empty_bitfield
empty_bitfield
January 22, 2025 07:42 23m 33s
Support empty bitfield Test coverage #87: Commit f1fedff pushed by trdthg
January 22, 2025 06:49 22m 27s empty_bitfield
empty_bitfield
January 22, 2025 06:49 22m 27s
Support empty bitfield Test coverage #86: Commit c3c90b4 pushed by trdthg
January 22, 2025 06:44 22m 48s empty_bitfield
empty_bitfield
January 22, 2025 06:44 22m 48s
Support empty bitfield Test coverage #85: Commit c59ba98 pushed by trdthg
January 22, 2025 06:41 22m 4s empty_bitfield
empty_bitfield
January 22, 2025 06:41 22m 4s
Support empty bitfield Test coverage #84: Commit c560c18 pushed by trdthg
January 22, 2025 06:36 25m 46s empty_bitfield
empty_bitfield
January 22, 2025 06:36 25m 46s
Support empty bitfield Test coverage #83: Commit a741836 pushed by trdthg
January 22, 2025 06:34 26m 17s empty_bitfield
empty_bitfield
January 22, 2025 06:34 26m 17s
checkpoint2 Test coverage #82: Commit 68ae373 pushed by trdthg
January 14, 2025 07:29 19m 15s fix-fmt-dev2
fix-fmt-dev2
January 14, 2025 07:29 19m 15s
开发中 报错信息提取 Test coverage #81: Commit 5b081ba pushed by trdthg
January 14, 2025 07:18 9m 12s lsp
lsp
January 14, 2025 07:18 9m 12s
Add match case or_pattern Test coverage #80: Commit c3dd825 pushed by trdthg
December 26, 2024 08:18 22m 27s or_patterm
or_patterm
December 26, 2024 08:18 22m 27s
Refactor command line flag handling for plugins Test coverage #79: Commit fd18b93 pushed by trdthg
December 24, 2024 07:30 29m 37s sail2
sail2
December 24, 2024 07:30 29m 37s
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