Skip to content

Actions: gelisam/klister

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SchemeVar newtype CI #280: Pull request #257 synchronize by gelisam
November 1, 2024 03:34 5m 18s gelisam/scheme-var
gelisam/scheme-var
November 1, 2024 03:34 5m 18s
SchemeVar newtype CI #279: Pull request #257 opened by gelisam
November 1, 2024 02:58 16m 16s gelisam/scheme-var
gelisam/scheme-var
November 1, 2024 02:58 16m 16s
Use 'haskell-actions' instead of 'haskell/actions' CI #278: Pull request #256 opened by vaibhavsagar
October 31, 2024 14:45 16m 11s vaibhavsagar:use-haskell-actions
vaibhavsagar:use-haskell-actions
October 31, 2024 14:45 16m 11s
A CEK Evaluator CI #277: Pull request #223 synchronize by doyougnu
October 31, 2024 14:25 32m 41s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
October 31, 2024 14:25 32m 41s
forbid kind loops CI #276: Pull request #251 synchronize by gelisam
October 31, 2024 04:27 8m 24s gelisam/forbid-kind-loops
gelisam/forbid-kind-loops
October 31, 2024 04:27 8m 24s
project: deprecate 8.10.7 CI #275: Pull request #254 synchronize by doyougnu
October 31, 2024 02:03 19m 25s doyougnu:doyougnu/bump-to-ghc966
doyougnu:doyougnu/bump-to-ghc966
October 31, 2024 02:03 19m 25s
project: deprecate 8.10.7 CI #274: Pull request #254 synchronize by doyougnu
October 31, 2024 01:46 32m 28s doyougnu:doyougnu/bump-to-ghc966
doyougnu:doyougnu/bump-to-ghc966
October 31, 2024 01:46 32m 28s
project: deprecate 8.10.7 CI #273: Pull request #254 synchronize by doyougnu
October 30, 2024 12:03 33m 58s doyougnu:doyougnu/bump-to-ghc966
doyougnu:doyougnu/bump-to-ghc966
October 30, 2024 12:03 33m 58s
project: deprecate 8.10.7 CI #272: Pull request #254 opened by doyougnu
October 29, 2024 20:55 8m 48s doyougnu:doyougnu/bump-to-ghc966
doyougnu:doyougnu/bump-to-ghc966
October 29, 2024 20:55 8m 48s
A CEK Evaluator CI #271: Pull request #223 synchronize by doyougnu
October 6, 2024 13:06 10m 5s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
October 6, 2024 13:06 10m 5s
A CEK Evaluator CI #270: Pull request #223 synchronize by doyougnu
October 6, 2024 13:05 11m 29s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
October 6, 2024 13:05 11m 29s
forbid kind loops CI #269: Pull request #251 synchronize by gelisam
October 4, 2024 13:03 7m 31s gelisam/forbid-kind-loops
gelisam/forbid-kind-loops
October 4, 2024 13:03 7m 31s
forbid kind loops CI #268: Pull request #251 synchronize by gelisam
October 3, 2024 23:56 30m 5s gelisam/forbid-kind-loops
gelisam/forbid-kind-loops
October 3, 2024 23:56 30m 5s
forbid kind loops CI #267: Pull request #251 opened by gelisam
October 3, 2024 13:46 12m 2s gelisam/forbid-kind-loops
gelisam/forbid-kind-loops
October 3, 2024 13:46 12m 2s
wrap to terminal width CI #266: Pull request #249 opened by gelisam
August 30, 2024 12:40 28m 42s wrap-to-terminal-width
wrap-to-terminal-width
August 30, 2024 12:40 28m 42s
delete useless withEnv call CI #265: Pull request #243 opened by gelisam
June 24, 2024 19:03 29m 34s gelisam/remove-dead-code
gelisam/remove-dead-code
June 24, 2024 19:03 29m 34s
eta-case example CI #264: Pull request #242 opened by gelisam
June 23, 2024 04:16 27m 14s eta-case
eta-case
June 23, 2024 04:16 27m 14s
A CEK Evaluator CI #263: Pull request #223 synchronize by doyougnu
June 2, 2024 14:16 26m 44s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
June 2, 2024 14:16 26m 44s
A CEK Evaluator CI #262: Pull request #223 synchronize by doyougnu
June 2, 2024 14:07 29m 29s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
June 2, 2024 14:07 29m 29s
A CEK Evaluator CI #261: Pull request #223 synchronize by doyougnu
June 2, 2024 14:06 28m 48s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
June 2, 2024 14:06 28m 48s
execute macro actions in phase 1 CI #260: Pull request #240 synchronize by samuel-gelineau-at-well-dot
June 1, 2024 19:45 3m 11s gelisam/in-later-phase
gelisam/in-later-phase
June 1, 2024 19:45 3m 11s
execute macro actions in phase 1 CI #259: Pull request #240 synchronize by samuel-gelineau-at-well-dot
June 1, 2024 17:44 3m 12s gelisam/in-later-phase
gelisam/in-later-phase
June 1, 2024 17:44 3m 12s
execute macro actions in phase 1 CI #258: Pull request #240 synchronize by gelisam
May 27, 2024 18:12 28m 28s gelisam/in-later-phase
gelisam/in-later-phase
May 27, 2024 18:12 28m 28s
execute macro actions in phase 1 CI #257: Pull request #240 synchronize by gelisam
May 23, 2024 03:13 28m 4s gelisam/in-later-phase
gelisam/in-later-phase
May 23, 2024 03:13 28m 4s
execute macro actions in phase 1 CI #256: Pull request #240 synchronize by gelisam
May 23, 2024 02:49 7m 24s gelisam/in-later-phase
gelisam/in-later-phase
May 23, 2024 02:49 7m 24s