Skip to content

Actions: gelisam/klister

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
execute macro actions in phase 1 CI #255: Pull request #240 synchronize by gelisam
May 20, 2024 04:59 7m 13s gelisam/in-later-phase
gelisam/in-later-phase
May 20, 2024 04:59 7m 13s
execute macro actions in phase 1 CI #254: Pull request #240 synchronize by gelisam
May 13, 2024 20:06 7m 22s gelisam/in-later-phase
gelisam/in-later-phase
May 13, 2024 20:06 7m 22s
execute macro actions in phase 1 CI #253: Pull request #240 opened by gelisam
May 8, 2024 13:39 30m 28s gelisam/in-later-phase
gelisam/in-later-phase
May 8, 2024 13:39 30m 28s
Add hlint gh-action CI #252: Pull request #239 opened by philderbeast
April 25, 2024 15:46 26m 39s typechecker:add/hlint-action
typechecker:add/hlint-action
April 25, 2024 15:46 26m 39s
Add hlint gh-action hlint #1: Pull request #239 opened by philderbeast
April 25, 2024 15:46 22s typechecker:add/hlint-action
typechecker:add/hlint-action
April 25, 2024 15:46 22s
KLISTERPATH for tests CI #251: Pull request #238 synchronize by philderbeast
April 25, 2024 14:27 29m 21s typechecker:doc/KLISTERPATH-test-suites
typechecker:doc/KLISTERPATH-test-suites
April 25, 2024 14:27 29m 21s
build: add nix flake, align cabal with CI CI #249: Pull request #236 opened by doyougnu
March 27, 2024 22:59 16m 11s doyougnu:doyougnu/add-flake
doyougnu:doyougnu/add-flake
March 27, 2024 22:59 16m 11s
Generate hlint default configuration CI #248: Pull request #234 opened by philderbeast
March 27, 2024 12:05 18m 53s typechecker:hlint/default-ignores
typechecker:hlint/default-ignores
March 27, 2024 12:05 18m 53s
A CEK Evaluator CI #247: Pull request #223 synchronize by doyougnu
February 24, 2024 00:34 14m 13s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
February 24, 2024 00:34 14m 13s
A CEK Evaluator CI #246: Pull request #223 synchronize by doyougnu
February 24, 2024 00:33 14m 35s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
February 24, 2024 00:33 14m 35s
A CEK Evaluator CI #245: Pull request #223 synchronize by doyougnu
February 24, 2024 00:17 8m 18s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
February 24, 2024 00:17 8m 18s
A CEK Evaluator CI #244: Pull request #223 synchronize by doyougnu
February 19, 2024 15:56 8m 10s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
February 19, 2024 15:56 8m 10s
A CEK Evaluator CI #243: Pull request #223 synchronize by doyougnu
February 19, 2024 03:29 7m 39s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
February 19, 2024 03:29 7m 39s
A CEK Evaluator CI #242: Pull request #223 synchronize by doyougnu
February 12, 2024 01:52 7m 13s doyougnu:doyougnu/wip/useful-repl
doyougnu:doyougnu/wip/useful-repl
February 12, 2024 01:52 7m 13s