Skip to content

Actions: trdthg/sail

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support empty bitfield
Build matrix #88: Commit 347183a pushed by trdthg
January 22, 2025 08:22 7m 57s empty_bitfield
January 22, 2025 08:22 7m 57s
Support empty bitfield
Build matrix #87: Commit ec32ea4 pushed by trdthg
January 22, 2025 07:42 7m 18s empty_bitfield
January 22, 2025 07:42 7m 18s
Support empty bitfield
Build matrix #86: Commit f1fedff pushed by trdthg
January 22, 2025 06:49 7m 27s empty_bitfield
January 22, 2025 06:49 7m 27s
Support empty bitfield
Build matrix #85: Commit c3c90b4 pushed by trdthg
January 22, 2025 06:44 7m 20s empty_bitfield
January 22, 2025 06:44 7m 20s
Support empty bitfield
Build matrix #84: Commit c59ba98 pushed by trdthg
January 22, 2025 06:41 7m 14s empty_bitfield
January 22, 2025 06:41 7m 14s
Support empty bitfield
Build matrix #83: Commit c560c18 pushed by trdthg
January 22, 2025 06:36 9m 34s empty_bitfield
January 22, 2025 06:36 9m 34s
Support empty bitfield
Build matrix #82: Commit a741836 pushed by trdthg
January 22, 2025 06:34 10m 5s empty_bitfield
January 22, 2025 06:34 10m 5s
checkpoint2
Build matrix #81: Commit 68ae373 pushed by trdthg
January 14, 2025 07:29 12m 49s fix-fmt-dev2
January 14, 2025 07:29 12m 49s
开发中 报错信息提取
Build matrix #80: Commit 5b081ba pushed by trdthg
January 14, 2025 07:18 9m 51s lsp
lsp
January 14, 2025 07:18 9m 51s
Add match case or_pattern
Build matrix #79: Commit c3dd825 pushed by trdthg
December 26, 2024 08:18 7m 41s or_patterm
December 26, 2024 08:18 7m 41s
Refactor command line flag handling for plugins
Build matrix #78: Commit fd18b93 pushed by trdthg
December 24, 2024 07:30 10m 7s sail2
December 24, 2024 07:30 10m 7s
add testcase
Build matrix #77: Commit 3019946 pushed by trdthg
September 12, 2024 10:31 16m 15s issue639-dev2
September 12, 2024 10:31 16m 15s
demo
Build matrix #76: Commit 2146dca pushed by trdthg
September 12, 2024 10:31 18m 22s issue639-dev
September 12, 2024 10:31 18m 22s
Fix Seq.iteri is not avaliale in old version ocaml
Build matrix #75: Commit 85d3347 pushed by trdthg
August 13, 2024 12:10 9m 56s fix-fmt-bitfield
August 13, 2024 12:10 9m 56s
Fix Seq.iteri is not avaliale in old version ocaml in ci
Build matrix #74: Commit 81b2276 pushed by trdthg
August 13, 2024 12:02 3m 34s fix-fmt-bitfield
August 13, 2024 12:02 3m 34s
切分支
Build matrix #73: Commit 8f862e7 pushed by trdthg
August 13, 2024 11:53 16m 59s issue639-dev
August 13, 2024 11:53 16m 59s
Fix sailcov on foo @ match xxx
Build matrix #72: Commit 42cef72 pushed by trdthg
August 12, 2024 01:54 10m 49s issue639
August 12, 2024 01:54 10m 49s
Fmt: optimize fmt for let_binder, exps, if_stmt ...
Build matrix #71: Commit 9ac6d52 pushed by trdthg
August 12, 2024 01:44 8m 22s fix-fmt-bitfield
August 12, 2024 01:44 8m 22s
Fmt: optimize fmt for let_binder, exps, if_stmt ...
Build matrix #70: Commit 9ac6d52 pushed by trdthg
August 12, 2024 01:43 3m 36s fix-fmt-dev
August 12, 2024 01:43 3m 36s
Fmt: optimize fmt for let_binder, exps, if_stmt ...
Build matrix #69: Commit 9ac6d52 pushed by trdthg
August 12, 2024 01:42 3m 28s fix-fmt-dev2
August 12, 2024 01:42 3m 28s
update
Build matrix #68: Commit 77d9068 pushed by trdthg
August 12, 2024 01:30 3m 31s fix-fmt-dev2
August 12, 2024 01:30 3m 31s
Fix sailcov on foo @ match xxx
Build matrix #67: Commit f44a8e6 pushed by trdthg
August 12, 2024 01:10 16m 1s issue639
August 12, 2024 01:10 16m 1s
Fix sailcov on foo @ match xxx
Build matrix #66: Commit 814a274 pushed by trdthg
August 12, 2024 01:08 17m 31s issue639
August 12, 2024 01:08 17m 31s
update
Build matrix #65: Commit 87b73c6 pushed by trdthg
August 11, 2024 13:05 3m 27s fix-fmt-dev2
August 11, 2024 13:05 3m 27s
checkpoint
Build matrix #64: Commit 80b0e28 pushed by trdthg
August 10, 2024 09:19 8m 49s fix-fmt-dev2
August 10, 2024 09:19 8m 49s