Skip to content

Actions: nois-lang/noisc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
326 workflow runs
326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Type bounds: get rid of def type main #649: Commit 903d278 pushed by ivanjermakov
September 10, 2024 23:56 18s nois3
nois3
September 10, 2024 23:56 18s
Unify type bounds: resolve field access & method calls on ids with ty… main #648: Commit e115225 pushed by ivanjermakov
September 10, 2024 23:34 24s nois3
nois3
September 10, 2024 23:34 24s
Unify type bounds: resolve field and method calls on type params main #647: Commit e863fb8 pushed by ivanjermakov
September 10, 2024 22:53 19s nois3
nois3
September 10, 2024 22:53 19s
Type bounds: keep identifiers as standalone types main #646: Commit b509053 pushed by ivanjermakov
September 10, 2024 19:35 20s nois3
nois3
September 10, 2024 19:35 20s
Type bounds: check trait and impl main #645: Commit 2fa5403 pushed by ivanjermakov
September 10, 2024 18:06 19s nois3
nois3
September 10, 2024 18:06 19s
Type bounds: check traits and impls main #644: Commit fede09b pushed by ivanjermakov
September 10, 2024 18:04 21s nois3
nois3
September 10, 2024 18:04 21s
Unify type bounds: trace for type errors main #643: Commit 5fb1a96 pushed by ivanjermakov
September 10, 2024 14:13 22s nois3
nois3
September 10, 2024 14:13 22s
Check impl: verify method signatures in impls main #642: Commit eb3fd7d pushed by ivanjermakov
September 10, 2024 11:43 24s nois3
nois3
September 10, 2024 11:43 24s
Check impl: unrelated & required methods main #641: Commit 4346fd2 pushed by ivanjermakov
September 9, 2024 23:00 19s nois3
nois3
September 9, 2024 23:00 19s
Dedup reported errors main #640: Commit 983371f pushed by ivanjermakov
September 9, 2024 19:49 19s nois3
nois3
September 9, 2024 19:49 19s
Refactor semantic check; revive e2e spec main #639: Commit eba81a1 pushed by ivanjermakov
September 9, 2024 17:27 20s nois3
nois3
September 9, 2024 17:27 20s
Register impls main #638: Commit cd1aba8 pushed by ivanjermakov
September 9, 2024 15:28 23s nois3
nois3
September 9, 2024 15:28 23s
Fix more tests main #637: Commit 3f06b71 pushed by ivanjermakov
August 24, 2024 15:12 19s nois3
nois3
August 24, 2024 15:12 19s
Std: match new type system main #636: Commit 37f97ba pushed by ivanjermakov
August 24, 2024 14:31 21s nois3
nois3
August 24, 2024 14:31 21s
Dedup reported type errors main #635: Commit b6da05a pushed by ivanjermakov
August 24, 2024 00:16 32s nois3
nois3
August 24, 2024 00:16 32s
Unify types: method calls main #634: Commit 290377a pushed by ivanjermakov
August 24, 2024 00:09 24s nois3
nois3
August 24, 2024 00:09 24s
Focused properties in debugAst main #633: Commit 67b1f64 pushed by ivanjermakov
August 22, 2024 22:02 24s nois3
nois3
August 22, 2024 22:02 24s
Resolve well-known type ids from std main #632: Commit a1641f0 pushed by ivanjermakov
August 22, 2024 21:17 21s nois3
nois3
August 22, 2024 21:17 21s
Unify types: unify field access; separate type def and literal type main #631: Commit 384a76b pushed by ivanjermakov
August 20, 2024 00:28 22s nois3
nois3
August 20, 2024 00:28 22s
Unify types: report type errors main #630: Commit ffbc99f pushed by ivanjermakov
August 19, 2024 22:51 17s nois3
nois3
August 19, 2024 22:51 17s
Unify types: report type errros main #629: Commit b3dfe45 pushed by ivanjermakov
August 19, 2024 22:51 25s nois3
nois3
August 19, 2024 22:51 25s
Unify types: failed unify error main #628: Commit 730e68b pushed by ivanjermakov
August 19, 2024 01:48 22s nois3
nois3
August 19, 2024 01:48 22s
Unify type bounds: handle type params main #627: Commit f9afd5c pushed by ivanjermakov
August 18, 2024 15:36 20s nois3
nois3
August 18, 2024 15:36 20s
Unify type bounds main #626: Commit 79d5197 pushed by ivanjermakov
August 17, 2024 01:59 26s nois3
nois3
August 17, 2024 01:59 26s
Unify type bounds: basics main #625: Commit cddf807 pushed by ivanjermakov
August 16, 2024 23:31 20s nois3
nois3
August 16, 2024 23:31 20s