Skip to content

Actions: thma/lambda-ski

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
main
September 26, 2023 18:50 11m 21s