Skip to content

Actions: trdthg/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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