Skip to content

Actions: fram-lang/dbl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
419 workflow runs
419 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New type inference Run tests #437: Pull request #180 synchronize by ppolesiuk
February 9, 2025 11:28 19s new-type-inference
new-type-inference
February 9, 2025 11:28 19s
Pretty-printing context in Unif AST nodes Run tests #436: Commit 9663aa3 pushed by ppolesiuk
February 9, 2025 11:28 25s new-type-inference
new-type-inference
February 9, 2025 11:28 25s
New type inference Run tests #435: Pull request #180 synchronize by ppolesiuk
February 9, 2025 10:14 19s new-type-inference
new-type-inference
February 9, 2025 10:14 19s
Separate library for definitions common to Unif and ConE Run tests #434: Commit 670b011 pushed by ppolesiuk
February 9, 2025 10:14 21s new-type-inference
new-type-inference
February 9, 2025 10:14 21s
New type inference Run tests #433: Pull request #180 synchronize by ppolesiuk
February 9, 2025 09:19 24s new-type-inference
new-type-inference
February 9, 2025 09:19 24s
Scheme expression annotations in Unif Run tests #432: Commit e2a179c pushed by ppolesiuk
February 9, 2025 09:19 20s new-type-inference
new-type-inference
February 9, 2025 09:19 20s
New type inference Run tests #431: Pull request #180 synchronize by ppolesiuk
February 8, 2025 17:08 21s new-type-inference
new-type-inference
February 8, 2025 17:08 21s
Moved GADTs for bidirectional stuff to Utils Run tests #430: Commit 2663ece pushed by ppolesiuk
February 8, 2025 17:08 20s new-type-inference
new-type-inference
February 8, 2025 17:08 20s
New type inference Run tests #429: Pull request #180 synchronize by ppolesiuk
February 8, 2025 16:55 24s new-type-inference
new-type-inference
February 8, 2025 16:55 24s
Better pretty-printing of type variables Run tests #428: Commit 361a56f pushed by ppolesiuk
February 8, 2025 16:55 22s new-type-inference
new-type-inference
February 8, 2025 16:55 22s
New type inference Run tests #427: Pull request #180 synchronize by ppolesiuk
February 8, 2025 16:40 20s new-type-inference
new-type-inference
February 8, 2025 16:40 20s
Recursion in Unif closer to Surface Run tests #426: Commit 74e6c49 pushed by ppolesiuk
February 8, 2025 16:40 23s new-type-inference
new-type-inference
February 8, 2025 16:40 23s
New type inference Run tests #425: Pull request #180 synchronize by ppolesiuk
February 7, 2025 15:54 20s new-type-inference
new-type-inference
February 7, 2025 15:54 20s
Making Unif closer to Surface: constructors Run tests #424: Commit 5426d02 pushed by ppolesiuk
February 7, 2025 15:54 23s new-type-inference
new-type-inference
February 7, 2025 15:54 23s
New type inference Run tests #423: Pull request #180 synchronize by ppolesiuk
February 7, 2025 08:28 20s new-type-inference
new-type-inference
February 7, 2025 08:28 20s
Tree-like representation of scopes Run tests #422: Commit c90342f pushed by ppolesiuk
February 7, 2025 08:28 25s new-type-inference
new-type-inference
February 7, 2025 08:28 25s
New type inference Run tests #421: Pull request #180 synchronize by ppolesiuk
January 30, 2025 06:16 21s new-type-inference
new-type-inference
January 30, 2025 06:16 21s
Added names to polymorphic functions. Run tests #420: Commit e4f0c76 pushed by ppolesiuk
January 30, 2025 06:15 20s new-type-inference
new-type-inference
January 30, 2025 06:15 20s
Upgrade to setup-ocaml@v3 Run tests #419: Commit 4b7621e pushed by forell
January 28, 2025 19:31 4m 58s master
master
January 28, 2025 19:31 4m 58s
New type inference Run tests #418: Pull request #180 synchronize by forell
January 28, 2025 17:07 19s new-type-inference
new-type-inference
January 28, 2025 17:07 19s
Delete dead code in parser Run tests #417: Commit f3acb1e pushed by forell
January 28, 2025 17:07 23s new-type-inference
new-type-inference
January 28, 2025 17:07 23s
New type inference Run tests #416: Pull request #180 synchronize by ppolesiuk
January 27, 2025 05:47 17s new-type-inference
new-type-inference
January 27, 2025 05:47 17s
Removed scheme from patterns. Run tests #415: Commit c1f9129 pushed by ppolesiuk
January 27, 2025 05:47 19s new-type-inference
new-type-inference
January 27, 2025 05:47 19s
New type inference Run tests #414: Pull request #180 synchronize by ppolesiuk
January 24, 2025 10:27 24s new-type-inference
new-type-inference
January 24, 2025 10:27 24s
Slight improvement of position tracking in Desugar, cleanup in tests Run tests #413: Commit 34ca9e1 pushed by ppolesiuk
January 24, 2025 10:27 18s new-type-inference
new-type-inference
January 24, 2025 10:27 18s