Skip to content

Actions: trdthg/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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