Skip to content

Actions: fatmage/dbl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simple profiling for the pipeline (#326) Run tests #56: Commit 88344d8 pushed by fatmage
5m 31s master
master
5m 31s
Updated Stream tests (#321) Run tests #55: Commit 2c293c3 pushed by fatmage
1m 57s master
master
1m 57s
Update list tests (#318) Run tests #54: Commit f9ab311 pushed by fatmage
1m 57s master
master
1m 57s
Fixed scoping issues in translation to Core (#305) Run tests #53: Commit 4699d9a pushed by fatmage
5m 18s master
master
5m 18s
Finite maps (#279) Run tests #52: Commit 1900074 pushed by fatmage
5m 35s master
master
5m 35s
Prelude extension (#268) Run tests #51: Commit c6b81a3 pushed by fatmage
1m 40s master
master
1m 40s
First-class lazy evaluation (#264) Run tests #50: Commit fc46491 pushed by fatmage
5m 6s master
master
5m 6s
Expose maximum array length (#170) (#257) Run tests #49: Commit 801aa58 pushed by fatmage
5m 43s master
master
5m 43s
Added new line at the end of test file Run tests #48: Commit 3273006 pushed by ppolesiuk
1m 37s list-params
list-params
1m 37s
Apply suggestions from code review Run tests #47: Commit ce95903 pushed by ppolesiuk
5m 3s list-params
list-params
5m 3s
Use implicit parameters in *i functions. Added tests and documentatio… Run tests #46: Commit 21683e8 pushed by fatmage
5m 52s list-params
list-params
5m 52s
Fixed parameter's method resolution (#253) Run tests #45: Commit 8679eb6 pushed by fatmage
4m 59s master
master
4m 59s
Fixed descriptions of *i and find functions Run tests #44: Commit 33f3bdf pushed by fatmage
28s list-params
list-params
28s
Recurse correctly on ERecCtx (#247) Run tests #43: Commit 6dd51a3 pushed by fatmage
5m 21s master
master
5m 21s
Conform to documentation guidelines Run tests #42: Commit c62304e pushed by fatmage
5m 0s list-params
list-params
5m 0s
Fix some grammatical errors in the comments (#245) Run tests #41: Commit 1687b09 pushed by fatmage
6m 27s master
master
6m 27s
debugging Run tests #40: Commit ea81dec pushed by fatmage
1m 24s pm-counterexample
pm-counterexample
1m 24s
fix: bounds check in Int64 to Int conversion (#219) Run tests #39: Commit 9fac528 pushed by fatmage
6m 13s master
master
6m 13s
add: syntactic sugar for effectful functions (#215) Run tests #38: Commit ff7d756 pushed by fatmage
11s master
master
11s
Documentation comments Run tests #37: Commit 011ace5 pushed by fatmage
21s list-params
list-params
21s
Upgrade to setup-ocaml@v3 Run tests #36: Commit 4b7621e pushed by fatmage
4m 45s master
master
4m 45s
Line directives for the lexer (#172) Run tests #35: Commit 9a2c623 pushed by fatmage
16s master
master
16s