Skip to content

Actions: SrGaabriel/soma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
576 workflow runs
576 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor: instance elaboration CI #586: Commit 663a713 pushed by SrGaabriel
9m 58s main
main
9m 58s
refactor: backend qtt erasure rather than frontend CI #585: Commit d825151 pushed by SrGaabriel
8m 32s main
main
8m 32s
feat: implicit record fields CI #584: Commit a88e9dd pushed by SrGaabriel
7m 18s main
main
7m 18s
fix: superclasses & class binders CI #583: Commit e319ec3 pushed by SrGaabriel
8m 55s main
main
8m 55s
refactor(elaborator): reduce postponement boilerplate CI #582: Commit 0acdb8f pushed by SrGaabriel
6m 48s main
main
6m 48s
refactor(elaborator): wire graph-based constraint solver CI #581: Commit 9088795 pushed by SrGaabriel
11m 25s main
main
11m 25s
refactor: drop with syntax CI #580: Commit 9eb9d18 pushed by SrGaabriel
10m 20s main
main
10m 20s
fix: macOS & ubuntu builds CI #579: Commit ef948cf pushed by SrGaabriel
9m 26s main
main
9m 26s
fix: constraint loops CI #578: Commit 4f4e472 pushed by SrGaabriel
9m 19s main
main
9m 19s
fix: universe polymorphism & erroneous functions CI #577: Commit 8cabc15 pushed by SrGaabriel
10m 13s main
main
10m 13s
fix: metas in lsp & never type in theorems CI #576: Commit b1302e8 pushed by SrGaabriel
8m 56s main
main
8m 56s
feat: theorems & proof-irrelevance CI #575: Commit 52008ae pushed by SrGaabriel
9m 31s main
main
9m 31s
fix: do not lambda lift motive CI #574: Commit 1f54d8b pushed by SrGaabriel
9m 26s main
main
9m 26s
fix: totality checks & classes and namespaces semantic tokens CI #573: Commit 71cad9f pushed by SrGaabriel
6h 5m 12s main
main
6h 5m 12s
fix(souls): type classes highlighted as type declarations CI #572: Commit 2c8a9af pushed by SrGaabriel
6h 5m 14s main
main
6h 5m 14s
feat: recursor motives CI #571: Commit 5162446 pushed by SrGaabriel
6h 6m 34s main
main
6h 6m 34s
refactor: tabled typeclass resolution CI #570: Commit 226e01e pushed by SrGaabriel
9m 38s main
main
9m 38s
refactor: unify type classes with namespace system CI #569: Commit 9256be5 pushed by SrGaabriel
8m 59s main
main
8m 59s
feat: ex-falso proofs CI #568: Commit c38c1ac pushed by SrGaabriel
9m 18s main
main
9m 18s
refactor: lazy instance indirect form CI #567: Commit 834d6c0 pushed by SrGaabriel
9m 35s main
main
9m 35s
fix: duplicate errors CI #566: Commit 6bd718c pushed by SrGaabriel
9m 46s main
main
9m 46s
refactor: unified constraint queue CI #565: Commit 587af16 pushed by SrGaabriel
9m 16s main
main
9m 16s
refactor: break down neutral terms CI #564: Commit 567753e pushed by SrGaabriel
10m 41s main
main
10m 41s
fix: zonking of deeply nested metas in neutral spine CI #563: Commit 7f9a9d2 pushed by SrGaabriel
8m 59s main
main
8m 59s
feat: iota + delta reduction & drop legacy TypeExpr CI #562: Commit bc67776 pushed by SrGaabriel
9m 16s main
main
9m 16s