Skip to content

Actions: fatmage/dbl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 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
stuff Run tests #70: Commit be114df pushed by fatmage
1m 54s stdlibvisibility
stdlibvisibility
1m 54s
Exposed tv_unit in ConE.TVar, added the flag functionality Run tests #69: Commit af8f4c9 pushed by fatmage
2m 0s uvarflag
uvarflag
2m 0s
Exposed tv_unit in ConE.TVar, added the flag functionality Run tests #68: Commit 360e5b4 pushed by fatmage
1m 54s uvarflag
uvarflag
1m 54s
Exposed tv_unit in ConE.TVar, added the flag functionality Run tests #67: Commit 2986270 pushed by fatmage
1m 43s uvarflag
uvarflag
1m 43s
Finished functions, need to do tests Run tests #66: Commit 6ab46c1 pushed by fatmage
1m 47s stdlibfile
stdlibfile
1m 47s
Finished functions, need to do tests Run tests #65: Commit 9a4b66c pushed by fatmage
1m 45s stdlibfile
stdlibfile
1m 45s
Finished functions, need to do tests Run tests #64: Commit d0b9b05 pushed by fatmage
1m 49s stdlibfile
stdlibfile
1m 49s
Finished functions, need to do tests Run tests #63: Commit 621cde8 pushed by fatmage
1m 47s stdlibfile
stdlibfile
1m 47s
functions implemented Run tests #62: Commit 8092e44 pushed by fatmage
1m 48s stdlibfile
stdlibfile
1m 48s
implementing externs Run tests #61: Commit a5dab91 pushed by fatmage
1m 42s stdlibfile
stdlibfile
1m 42s
public interface of the library Run tests #60: Commit f8288e7 pushed by fatmage
1m 55s stdlibfile
stdlibfile
1m 55s
Initial commit, type definitions Run tests #59: Commit ba640ed pushed by fatmage
2m 0s stdlibfile
stdlibfile
2m 0s
initial commit Run tests #58: Commit 0e93369 pushed by fatmage
1m 46s uvarflag
uvarflag
1m 46s
Fixed names of pipeline stages in -timings output (#327) Run tests #57: Commit 8316ed4 pushed by fatmage
5m 21s master
master
5m 21s
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