Skip to content

Actions: sfultong/stand-in-language

Actions

Telomare CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
telomare-ci.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
replacing splitfunctor with base functor fragment classes Telomare CI #44: Commit 56b8a34 pushed by sfultong
October 6, 2023 22:04 29s sizing_wip12
sizing_wip12
October 6, 2023 22:04 29s
memoized sizing results... still too slow/memory hungry Telomare CI #43: Commit 2dc6a13 pushed by sfultong
September 5, 2023 03:12 26s sizing_wip10
sizing_wip10
September 5, 2023 03:12 26s
removed unusedbits and now evalB seems to work Telomare CI #42: Commit 599235d pushed by sfultong
August 23, 2023 14:57 30s sbv2
sbv2
August 23, 2023 14:57 30s
more debugging info Telomare CI #41: Commit 9e94f07 pushed by sfultong
August 18, 2023 12:01 32s sbv2
sbv2
August 18, 2023 12:01 32s