Skip to content

Actions: tomaz1502/Lam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Parse expressions without commands as evals Haskell CI #193: Commit a3ae32b pushed by tomaz1502
20m 19s main
main
20m 19s
Remove U from tests Haskell CI #192: Commit 1e7768b pushed by tomaz1502
2m 27s main
main
2m 27s
Finish removing eqType Haskell CI #191: Commit c1aa770 pushed by tomaz1502
20m 6s main
main
20m 6s