Skip to content

Actions: thma/lambda-ski

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Configure Renovate
Haskell-CI #58: Pull request #1 synchronize by renovate bot
December 15, 2023 02:49 9m 5s renovate/configure
December 15, 2023 02:49 9m 5s
Add renovate.json
Haskell-CI #57: Commit 0ff715c pushed by renovate bot
December 15, 2023 02:49 9m 22s renovate/configure
December 15, 2023 02:49 9m 22s
is a termreducer really worse than graph-reduction?
Haskell-CI #56: Commit 7c91e47 pushed by thma
October 25, 2023 18:56 11m 32s main
October 25, 2023 18:56 11m 32s
almost there
Haskell-CI #55: Commit 8189214 pushed by thma
October 8, 2023 12:55 8m 46s main
October 8, 2023 12:55 8m 46s
more figures
Haskell-CI #54: Commit 190151f pushed by thma
October 7, 2023 10:17 3m 38s main
October 7, 2023 10:17 3m 38s
showing first figures
Haskell-CI #53: Commit 353a9ec pushed by thma
October 7, 2023 09:43 3m 41s main
October 7, 2023 09:43 3m 41s
on the way
Haskell-CI #52: Commit 4c5e743 pushed by thma
October 5, 2023 20:13 6m 51s main
October 5, 2023 20:13 6m 51s
some progress
Haskell-CI #51: Commit 54fc083 pushed by thma
October 3, 2023 19:31 7m 47s main
October 3, 2023 19:31 7m 47s
on the way
Haskell-CI #50: Commit 1952cdb pushed by thma
October 3, 2023 13:06 3m 47s main
October 3, 2023 13:06 3m 47s
making progress
Haskell-CI #49: Commit d64d84a pushed by thma
October 3, 2023 12:40 3m 35s main
October 3, 2023 12:40 3m 35s
on the way
Haskell-CI #48: Commit fc4b7f8 pushed by thma
October 2, 2023 19:01 4m 1s main
October 2, 2023 19:01 4m 1s
de bruijn & co...
Haskell-CI #47: Commit b6a4537 pushed by thma
September 30, 2023 19:12 3m 23s main
September 30, 2023 19:12 3m 23s
making Kiselyov-Eta work with graph reduction.
Haskell-CI #46: Commit 405c3fc pushed by thma
September 30, 2023 11:50 3m 50s main
September 30, 2023 11:50 3m 50s
making some progress
Haskell-CI #45: Commit 9ddf210 pushed by thma
September 27, 2023 20:15 3m 41s main
September 27, 2023 20:15 3m 41s
start writing
Haskell-CI #44: Commit cab99b7 pushed by thma
September 26, 2023 18:50 11m 21s main
September 26, 2023 18:50 11m 21s
start writing the blog
Haskell-CI #43: Commit f2d5220 pushed by thma
September 17, 2023 18:53 3m 34s main
September 17, 2023 18:53 3m 34s
print out all optimizations
Haskell-CI #42: Commit ba94efd pushed by thma
September 17, 2023 09:15 3m 29s main
September 17, 2023 09:15 3m 29s
adding testcases for the logarithmic resolution of BulkCombinators
Haskell-CI #41: Commit 4cef0e1 pushed by thma
September 17, 2023 08:23 4m 6s main
September 17, 2023 08:23 4m 6s
BreakBulkLog im HHIReducer implementiert
Haskell-CI #40: Commit b517546 pushed by thma
September 16, 2023 19:36 3m 54s main
September 16, 2023 19:36 3m 54s
clean up a bit
Haskell-CI #39: Commit 1512685 pushed by thma
September 16, 2023 16:20 3m 42s main
September 16, 2023 16:20 3m 42s
fix translink
Haskell-CI #38: Commit a5e0910 pushed by thma
September 16, 2023 08:23 3m 37s main
September 16, 2023 08:23 3m 37s
try to enforce new computations for each benchmark run
Haskell-CI #37: Commit 60d9b80 pushed by thma
September 16, 2023 08:01 3m 32s main
September 16, 2023 08:01 3m 32s
using sourcecode from static file to have more control
Haskell-CI #36: Commit 6266e81 pushed by thma
September 15, 2023 19:51 3m 34s main
September 15, 2023 19:51 3m 34s
using quasiquotes
Haskell-CI #35: Commit 7352502 pushed by thma
September 15, 2023 09:43 3m 41s main
September 15, 2023 09:43 3m 41s
better have embedded Testcases....
Haskell-CI #34: Commit 21f2d45 pushed by thma
September 14, 2023 13:43 11m 25s main
September 14, 2023 13:43 11m 25s