Skip to content

Actions: tomaz1502/Lam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Use haskeline instead of custom code (#8) Haskell CI #200: Commit 271883c pushed by tomaz1502
28m 48s main
main
28m 48s
Use haskeline instead of custom code Haskell CI #199: Pull request #8 opened by tomaz1502
28m 21s readline
readline
28m 21s
Revert Haskell CI #198: Commit 519613a pushed by tomaz1502
29m 9s main
main
29m 9s
Add option to compile unverified code Haskell CI #197: Commit 9cd1eb2 pushed by tomaz1502
28m 4s main
main
28m 4s
[CI]: Use cabal to install agda2hs Haskell CI #196: Commit b6b9578 pushed by tomaz1502
28m 56s main
main
28m 56s
Update ci to Agda 2.8 Haskell CI #195: Commit 3c05b7e pushed by tomaz1502
18m 44s main
main
18m 44s
Update code to Agda 2.8 Haskell CI #194: Commit 35be379 pushed by tomaz1502
19m 10s main
main
19m 10s