Skip to content

Actions: polarity-lang/polarity

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
1,003 workflow runs
1,003 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add spans to patterns (#438) Lint Code Base #1714: Commit bbc91ef pushed by BinderDavid
January 8, 2025 18:11 1m 54s main
main
January 8, 2025 18:11 1m 54s
Add spans to patterns Lint Code Base #1713: Pull request #438 synchronize by BinderDavid
January 8, 2025 16:14 1m 59s add-spans-to-patterns
add-spans-to-patterns
January 8, 2025 16:14 1m 59s
Add spans to patterns Lint Code Base #1712: Pull request #438 synchronize by BinderDavid
January 8, 2025 16:14 1m 52s add-spans-to-patterns
add-spans-to-patterns
January 8, 2025 16:14 1m 52s
Add spans to patterns Lint Code Base #1711: Pull request #438 opened by BinderDavid
January 8, 2025 16:08 1m 58s add-spans-to-patterns
add-spans-to-patterns
January 8, 2025 16:08 1m 58s
Add hover info for individual clause (#436) Lint Code Base #1710: Commit b60ce0a pushed by BinderDavid
January 8, 2025 15:27 1m 51s main
main
January 8, 2025 15:27 1m 51s
Compute cross module diagnostics Lint Code Base #1709: Pull request #437 opened by timsueberkrueb
January 8, 2025 15:27 1m 51s cross-module-diagnostics
cross-module-diagnostics
January 8, 2025 15:27 1m 51s
Add hover info for individual clause Lint Code Base #1708: Pull request #436 opened by BinderDavid
January 8, 2025 15:13 1m 52s add-case-hover
add-case-hover
January 8, 2025 15:13 1m 52s
Show erased terms on hover Lint Code Base #1707: Pull request #435 opened by BinderDavid
January 8, 2025 14:54 1m 59s fix-432
fix-432
January 8, 2025 14:54 1m 59s
Eliminate codespan dependency Lint Code Base #1706: Pull request #425 synchronize by timsueberkrueb
January 8, 2025 13:56 1m 51s inline-codespan-dependency
inline-codespan-dependency
January 8, 2025 13:56 1m 51s
Eliminate codespan dependency Lint Code Base #1705: Pull request #425 synchronize by BinderDavid
January 8, 2025 11:42 1m 57s inline-codespan-dependency
inline-codespan-dependency
January 8, 2025 11:42 1m 57s
Eliminate codespan dependency Lint Code Base #1704: Pull request #425 synchronize by BinderDavid
January 8, 2025 11:05 1m 59s inline-codespan-dependency
inline-codespan-dependency
January 8, 2025 11:05 1m 59s
Fix bug in lsp did_change (#434) Lint Code Base #1703: Commit bcbc433 pushed by BinderDavid
January 8, 2025 10:36 1m 55s main
main
January 8, 2025 10:36 1m 55s
Fix bug in lsp did_change Lint Code Base #1702: Pull request #434 opened by timsueberkrueb
January 8, 2025 10:31 1m 53s fix-driver
fix-driver
January 8, 2025 10:31 1m 53s
Implement initial type erasure (#426) Lint Code Base #1701: Commit d96b03a pushed by BinderDavid
January 8, 2025 10:14 1m 54s main
main
January 8, 2025 10:14 1m 54s
Implement initial type erasure Lint Code Base #1700: Pull request #426 synchronize by timsueberkrueb
January 8, 2025 09:50 2m 12s erasure
erasure
January 8, 2025 09:50 2m 12s
Eliminate codespan dependency Lint Code Base #1699: Pull request #425 synchronize by BinderDavid
January 6, 2025 00:21 2m 3s inline-codespan-dependency
inline-codespan-dependency
January 6, 2025 00:21 2m 3s
Implement initial type erasure Lint Code Base #1698: Pull request #426 synchronize by timsueberkrueb
January 5, 2025 01:10 2m 2s erasure
erasure
January 5, 2025 01:10 2m 2s
Implement initial type erasure Lint Code Base #1697: Pull request #426 synchronize by timsueberkrueb
January 5, 2025 00:47 2m 3s erasure
erasure
January 5, 2025 00:47 2m 3s
Implement initial type erasure Lint Code Base #1696: Pull request #426 synchronize by timsueberkrueb
January 5, 2025 00:38 2m 5s erasure
erasure
January 5, 2025 00:38 2m 5s
Implement initial type erasure Lint Code Base #1695: Pull request #426 synchronize by timsueberkrueb
January 5, 2025 00:12 1m 59s erasure
erasure
January 5, 2025 00:12 1m 59s
Implement initial type erasure Lint Code Base #1694: Pull request #426 synchronize by timsueberkrueb
January 5, 2025 00:07 2m 7s erasure
erasure
January 5, 2025 00:07 2m 7s
Implement initial type erasure Lint Code Base #1693: Pull request #426 synchronize by timsueberkrueb
January 5, 2025 00:03 1m 59s erasure
erasure
January 5, 2025 00:03 1m 59s
Add pol compile and ir phase to test runner (#433) Lint Code Base #1692: Commit e83eaae pushed by timsueberkrueb
January 4, 2025 23:58 1m 57s main
main
January 4, 2025 23:58 1m 57s
Add pol compile and ir phase to test runner Lint Code Base #1691: Pull request #433 synchronize by timsueberkrueb
January 4, 2025 23:55 1m 58s pol-compile
pol-compile
January 4, 2025 23:55 1m 58s
Add pol compile and ir phase to test runner Lint Code Base #1690: Pull request #433 synchronize by timsueberkrueb
January 4, 2025 23:43 2m 1s pol-compile
pol-compile
January 4, 2025 23:43 2m 1s