Skip to content

Actions: sfultong/stand-in-language

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

verified that full test suite works on sizeTermM Telomare CI #64: Commit 3786641 pushed by sfultong
December 22, 2024 16:10 2m 33s sizing_monadic_debug
sizing_monadic_debug
December 22, 2024 16:10 2m 33s
wip Telomare CI #63: Commit 37b1418 pushed by sfultong
December 11, 2024 21:04 2m 37s sizing_wip19
sizing_wip19
December 11, 2024 21:04 2m 37s
print type annotated trees for debug Telomare CI #62: Commit e4c996c pushed by sfultong
November 26, 2024 15:20 2m 27s sizing_wip19
sizing_wip19
November 26, 2024 15:20 2m 27s
adding validity for property testing Telomare CI #61: Commit 558b08e pushed by sfultong
October 17, 2024 18:07 2m 30s sizing_wip19
sizing_wip19
October 17, 2024 18:07 2m 30s
fixing sizestage percolation through gate super switch Telomare CI #60: Commit 4681748 pushed by sfultong
September 16, 2024 15:17 2m 39s sizing_wip19
sizing_wip19
September 16, 2024 15:17 2m 39s
non-monadic sizing, partial sizing, both broken? Telomare CI #59: Commit cae7640 pushed by sfultong
September 11, 2024 00:31 2m 31s sizing_wip19
sizing_wip19
September 11, 2024 00:31 2m 31s
changing back to fuzzy sizing Telomare CI #58: Commit 13ea027 pushed by sfultong
August 8, 2024 15:16 3m 16s sizing_wip20
sizing_wip20
August 8, 2024 15:16 3m 16s
fixing abort index Telomare CI #57: Commit f3ceaa8 pushed by sfultong
August 7, 2024 11:17 51m 50s sizing_wip19
sizing_wip19
August 7, 2024 11:17 51m 50s
correcting testchar tests Telomare CI #56: Commit 30d5a10 pushed by sfultong
July 27, 2024 15:24 5m 54s sizing_wip19
sizing_wip19
July 27, 2024 15:24 5m 54s
church num refactoring Telomare CI #55: Commit 4136459 pushed by sfultong
May 15, 2024 01:14 5m 48s master
master
May 15, 2024 01:14 5m 48s
church num refactoring Telomare CI #54: Commit 7c082dc pushed by sfultong
May 15, 2024 01:12 6m 14s master
master
May 15, 2024 01:12 6m 14s
Squashed commit of the following: Telomare CI #53: Commit e688e44 pushed by sfultong
May 4, 2024 02:40 6h 0m 25s master
master
May 4, 2024 02:40 6h 0m 25s
partial implementation, to be abandoned because this is a flawed appr… Telomare CI #52: Commit 696ae1d pushed by sfultong
April 17, 2024 23:59 19s sizing_wip16
sizing_wip16
April 17, 2024 23:59 19s
evalB seems to work, but too slow Telomare CI #51: Commit 80ca67b pushed by sfultong
March 26, 2024 15:11 11m 52s sbv3
sbv3
March 26, 2024 15:11 11m 52s
missed GateSwitch cases Telomare CI #50: Commit 0563d1f pushed by sfultong
March 21, 2024 02:10 12m 10s sbv3
sbv3
March 21, 2024 02:10 12m 10s
sizing by evaluation, doesn't work because insufficiently lazy Telomare CI #49: Commit 627a97a pushed by sfultong
January 17, 2024 01:04 51s sizing_wip15
sizing_wip15
January 17, 2024 01:04 51s
make stuck a standard functor, and change evaluation to use custom de… Telomare CI #48: Commit 7dae821 pushed by sfultong
December 22, 2023 15:19 19s sizing_wip14
sizing_wip14
December 22, 2023 15:19 19s
abandoning for now because stuck-bottom-up doesn't seem to give any g… Telomare CI #47: Commit 7abb779 pushed by sfultong
December 7, 2023 01:08 24s sizing_wip13
sizing_wip13
December 7, 2023 01:08 24s
profiling support and optimizing d2c in Prelude Telomare CI #46: Commit 0149ba0 pushed by sfultong
November 21, 2023 16:44 22s sizing_wip13
sizing_wip13
November 21, 2023 16:44 22s
can now handle sizing multiple bound recursion combinators separately… Telomare CI #45: Commit 012e1c3 pushed by sfultong
November 7, 2023 22:29 19s sizing_wip12
sizing_wip12
November 7, 2023 22:29 19s