Skip to content

Actions: hylo-lang/hylo

Actions

Format check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
1,031 workflow runs
1,031 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the checking of synthesizable conformances under a where clause Format check #2065: Pull request #1567 opened by kyouko-taiga
August 22, 2024 21:45 26s conditional-synthetic-conformance
conditional-synthetic-conformance
August 22, 2024 21:45 26s
Merge pull request #1565 from hylo-lang/synthetic-none-equal Format check #2064: Commit e47c274 pushed by kyouko-taiga
August 22, 2024 15:20 31s main
main
August 22, 2024 15:20 31s
Remove needless custom implementation of None.infix== Format check #2063: Pull request #1565 opened by kyouko-taiga
August 22, 2024 14:23 32s synthetic-none-equal
synthetic-none-equal
August 22, 2024 14:23 32s
Merge pull request #1564 from hylo-lang/union-switch Format check #2062: Commit 0392eff pushed by kyouko-taiga
August 22, 2024 12:07 29s main
main
August 22, 2024 12:07 29s
Add an IR instruction to switch over the contents of a union Format check #2061: Pull request #1564 opened by kyouko-taiga
August 22, 2024 11:12 25s union-switch
union-switch
August 22, 2024 11:12 25s
Merge pull request #1563 from hylo-lang/synthesize-equatable Format check #2060: Commit 211d4e0 pushed by kyouko-taiga
August 20, 2024 13:56 22s main
main
August 20, 2024 13:56 22s
Implement equality operator synthesization Format check #2059: Pull request #1563 synchronize by kyouko-taiga
August 20, 2024 12:59 27s synthesize-equatable
synthesize-equatable
August 20, 2024 12:59 27s
Implement equality operator synthesization Format check #2058: Pull request #1563 opened by kyouko-taiga
August 20, 2024 12:56 31s synthesize-equatable
synthesize-equatable
August 20, 2024 12:56 31s
Implement MutatingSlice Format check #2057: Pull request #1561 opened by kyouko-taiga
August 18, 2024 22:35 21s mutating-slice
mutating-slice
August 18, 2024 22:35 21s
Merge pull request #1558 from hylo-lang/eliminate-dead-code Format check #2056: Commit b5bd439 pushed by kyouko-taiga
August 17, 2024 21:06 25s main
main
August 17, 2024 21:06 25s
Eliminate dead code Format check #2055: Pull request #1558 opened by kyouko-taiga
August 17, 2024 20:08 23s eliminate-dead-code
eliminate-dead-code
August 17, 2024 20:08 23s
Merge pull request #1556 from hylo-lang/fix-canonicalization Format check #2054: Commit 61cf91c pushed by kyouko-taiga
August 17, 2024 19:53 23s main
main
August 17, 2024 19:53 23s
Fix canonicalization of associated types Format check #2053: Pull request #1556 synchronize by kyouko-taiga
August 17, 2024 19:11 26s fix-canonicalization
fix-canonicalization
August 17, 2024 19:11 26s
Fix canonicalization of associated types Format check #2052: Pull request #1556 opened by kyouko-taiga
August 17, 2024 06:02 24s fix-canonicalization
fix-canonicalization
August 17, 2024 06:02 24s
Merge pull request #1554 from hylo-lang/simplify-variant-selection Format check #2051: Commit 3a2840a pushed by kyouko-taiga
August 16, 2024 15:05 21s main
main
August 16, 2024 15:05 21s
Simplify variant selection Format check #2050: Pull request #1554 synchronize by kyouko-taiga
August 16, 2024 13:59 25s simplify-variant-selection
simplify-variant-selection
August 16, 2024 13:59 25s
Simplify variant selection Format check #2049: Pull request #1554 opened by kyouko-taiga
August 16, 2024 12:17 27s simplify-variant-selection
simplify-variant-selection
August 16, 2024 12:17 27s
Bump crate-ci/typos from 1.22.3 to 1.23.6 Format check #2048: Pull request #1552 opened by dependabot bot
August 5, 2024 21:24 23s dependabot/github_actions/crate-ci/typos-1.23.6
dependabot/github_actions/crate-ci/typos-1.23.6
August 5, 2024 21:24 23s
Implement some algorithms on Collection Format check #2047: Pull request #1551 opened by kyouko-taiga
August 5, 2024 09:57 24s collection-algorithms
collection-algorithms
August 5, 2024 09:57 24s
Bump codecov/codecov-action from 4.4.1 to 4.5.0 (#1494) Format check #2046: Commit f46bc7d pushed by dabrahams
August 5, 2024 04:28 22s main
main
August 5, 2024 04:28 22s
Merge pull request #1549 from hylo-lang/equality-to-concrete-type Format check #2045: Commit 16c9525 pushed by kyouko-taiga
August 4, 2024 14:43 24s main
main
August 4, 2024 14:43 24s
Fix the handling of equality constraints involving concrete types Format check #2044: Pull request #1549 opened by kyouko-taiga
August 4, 2024 13:10 25s equality-to-concrete-type
equality-to-concrete-type
August 4, 2024 13:10 25s
Bump codecov/codecov-action from 4.4.1 to 4.5.0 Format check #2043: Pull request #1494 synchronize by dabrahams
August 4, 2024 10:11 24s dependabot/github_actions/codecov/codecov-action-4.5.0
dependabot/github_actions/codecov/codecov-action-4.5.0
August 4, 2024 10:11 24s
Merge pull request #1547 from hylo-lang/Mtalymph-1410 Format check #2042: Commit 5fb6cfe pushed by kyouko-taiga
August 3, 2024 23:28 23s main
main
August 3, 2024 23:28 23s
Add && and || operators to compile-time compilation conditions Format check #2041: Pull request #1547 synchronize by kyouko-taiga
August 3, 2024 22:13 23s Mtalymph-1410
Mtalymph-1410
August 3, 2024 22:13 23s