Skip to content

Actions: hylo-lang/hylo

Actions

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spell-check.yml
1,776 workflow runs
1,776 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve the API of Optional Spell check #1890: Pull request #1570 opened by kyouko-taiga
August 23, 2024 23:23 17s optional-api
optional-api
August 23, 2024 23:23 17s
Merge pull request #1569 from hylo-lang/option-pattern Spell check #1889: Commit 02a4f3c pushed by kyouko-taiga
August 23, 2024 22:36 13s main
main
August 23, 2024 22:36 13s
Implement optional patterns Spell check #1888: Pull request #1569 opened by kyouko-taiga
August 23, 2024 21:30 19s option-pattern
option-pattern
August 23, 2024 21:30 19s
Merge pull request #1568 from hylo-lang/non-consuming-narrowing Spell check #1887: Commit 610865d pushed by kyouko-taiga
August 23, 2024 21:29 19s main
main
August 23, 2024 21:29 19s
Add support for non-consuming projections of union payloads Spell check #1886: Pull request #1568 opened by kyouko-taiga
August 23, 2024 19:22 16s non-consuming-narrowing
non-consuming-narrowing
August 23, 2024 19:22 16s
Merge pull request #1567 from hylo-lang/conditional-synthetic-conform… Spell check #1885: Commit d61d644 pushed by kyouko-taiga
August 23, 2024 09:53 22s main
main
August 23, 2024 09:53 22s
Fix the checking of synthesizable conformances under a where clause Spell check #1884: Pull request #1567 opened by kyouko-taiga
August 22, 2024 21:45 13s conditional-synthetic-conformance
conditional-synthetic-conformance
August 22, 2024 21:45 13s
Merge pull request #1565 from hylo-lang/synthetic-none-equal Spell check #1883: Commit e47c274 pushed by kyouko-taiga
August 22, 2024 15:20 19s main
main
August 22, 2024 15:20 19s
Remove needless custom implementation of None.infix== Spell check #1882: Pull request #1565 opened by kyouko-taiga
August 22, 2024 14:23 21s synthetic-none-equal
synthetic-none-equal
August 22, 2024 14:23 21s
Merge pull request #1564 from hylo-lang/union-switch Spell check #1881: Commit 0392eff pushed by kyouko-taiga
August 22, 2024 12:07 18s main
main
August 22, 2024 12:07 18s
Add an IR instruction to switch over the contents of a union Spell check #1880: Pull request #1564 opened by kyouko-taiga
August 22, 2024 11:12 18s union-switch
union-switch
August 22, 2024 11:12 18s
Merge pull request #1563 from hylo-lang/synthesize-equatable Spell check #1879: Commit 211d4e0 pushed by kyouko-taiga
August 20, 2024 13:56 17s main
main
August 20, 2024 13:56 17s
Implement equality operator synthesization Spell check #1878: Pull request #1563 synchronize by kyouko-taiga
August 20, 2024 12:59 23s synthesize-equatable
synthesize-equatable
August 20, 2024 12:59 23s
Implement equality operator synthesization Spell check #1877: Pull request #1563 opened by kyouko-taiga
August 20, 2024 12:56 20s synthesize-equatable
synthesize-equatable
August 20, 2024 12:56 20s
Implement MutatingSlice Spell check #1876: Pull request #1561 opened by kyouko-taiga
August 18, 2024 22:35 13s mutating-slice
mutating-slice
August 18, 2024 22:35 13s
Merge pull request #1558 from hylo-lang/eliminate-dead-code Spell check #1875: Commit b5bd439 pushed by kyouko-taiga
August 17, 2024 21:06 20s main
main
August 17, 2024 21:06 20s
Eliminate dead code Spell check #1874: Pull request #1558 opened by kyouko-taiga
August 17, 2024 20:08 15s eliminate-dead-code
eliminate-dead-code
August 17, 2024 20:08 15s
Merge pull request #1556 from hylo-lang/fix-canonicalization Spell check #1873: Commit 61cf91c pushed by kyouko-taiga
August 17, 2024 19:53 13s main
main
August 17, 2024 19:53 13s
Fix canonicalization of associated types Spell check #1872: Pull request #1556 synchronize by kyouko-taiga
August 17, 2024 19:11 20s fix-canonicalization
fix-canonicalization
August 17, 2024 19:11 20s
Fix canonicalization of associated types Spell check #1871: Pull request #1556 opened by kyouko-taiga
August 17, 2024 06:02 14s fix-canonicalization
fix-canonicalization
August 17, 2024 06:02 14s
Merge pull request #1554 from hylo-lang/simplify-variant-selection Spell check #1870: Commit 3a2840a pushed by kyouko-taiga
August 16, 2024 15:05 19s main
main
August 16, 2024 15:05 19s
Simplify variant selection Spell check #1869: Pull request #1554 synchronize by kyouko-taiga
August 16, 2024 13:59 17s simplify-variant-selection
simplify-variant-selection
August 16, 2024 13:59 17s
Simplify variant selection Spell check #1868: Pull request #1554 opened by kyouko-taiga
August 16, 2024 12:17 21s simplify-variant-selection
simplify-variant-selection
August 16, 2024 12:17 21s
Bump crate-ci/typos from 1.22.3 to 1.23.6 Spell check #1867: Pull request #1552 opened by dependabot bot
August 5, 2024 21:24 20s dependabot/github_actions/crate-ci/typos-1.23.6
dependabot/github_actions/crate-ci/typos-1.23.6
August 5, 2024 21:24 20s
Implement some algorithms on Collection Spell check #1866: Pull request #1551 opened by kyouko-taiga
August 5, 2024 09:57 17s collection-algorithms
collection-algorithms
August 5, 2024 09:57 17s