Skip to content

Actions: idris-hackers/idris-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add fallback for Idris2 to use :type-of for eldoc-lookup Idris2 on Ubuntu #311: Pull request #649 synchronize by keram
1m 32s keram:eldoc-idris2-fallback
keram:eldoc-idris2-fallback
1m 32s
Add fallback for Idris2 to use :type-of for eldoc-lookup Idris1 on Ubuntu #327: Pull request #649 synchronize by keram
2m 5s keram:eldoc-idris2-fallback
keram:eldoc-idris2-fallback
2m 5s
Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval Idris1 on Ubuntu #326: Pull request #650 synchronize by keram
2m 16s keram:idris-user-eval
keram:idris-user-eval
2m 16s
Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval Idris2 on Ubuntu #310: Pull request #650 synchronize by keram
1m 35s keram:idris-user-eval
keram:idris-user-eval
1m 35s
Hide notes buffer whe no notes available Idris2 on Ubuntu #309: Pull request #648 synchronize by keram
1m 40s keram:notes-buffer-impro
keram:notes-buffer-impro
1m 40s
Hide notes buffer whe no notes available Idris1 on Ubuntu #325: Pull request #648 synchronize by keram
2m 14s keram:notes-buffer-impro
keram:notes-buffer-impro
2m 14s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris2 on Ubuntu #308: Pull request #636 synchronize by keram
1m 35s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
1m 35s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris1 on Ubuntu #324: Pull request #636 synchronize by keram
2m 10s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
2m 10s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris1 on Ubuntu #323: Pull request #636 synchronize by keram
2m 15s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
2m 15s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris2 on Ubuntu #307: Pull request #636 synchronize by keram
1m 32s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
1m 32s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris2 on Ubuntu #306: Pull request #643 synchronize by keram
1m 38s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
1m 38s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris1 on Ubuntu #322: Pull request #643 synchronize by keram
2m 3s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
2m 3s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris1 on Ubuntu #321: Pull request #643 synchronize by keram
2m 14s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
2m 14s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris2 on Ubuntu #305: Pull request #643 synchronize by keram
1h 0m 19s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
1h 0m 19s
Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval Idris2 on Ubuntu #304: Pull request #650 synchronize by keram
1m 39s keram:idris-user-eval
keram:idris-user-eval
1m 39s
Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval Idris1 on Ubuntu #320: Pull request #650 synchronize by keram
2m 3s keram:idris-user-eval
keram:idris-user-eval
2m 3s
Merge pull request #651 from keram/interactive-user-errors Idris1 on Ubuntu #319: Commit 9b74342 pushed by jfdm
20m 25s main
main
20m 25s
Merge pull request #651 from keram/interactive-user-errors Idris2 on Ubuntu #303: Commit 9b74342 pushed by jfdm
10m 9s main
main
10m 9s
Use user-error instead of error in interactive functions that are directly invoked by the user Idris2 on Ubuntu #302: Pull request #651 opened by keram
10m 15s keram:interactive-user-errors
keram:interactive-user-errors
10m 15s
Use user-error instead of error in interactive functions that are directly invoked by the user Idris1 on Ubuntu #318: Pull request #651 opened by keram
20m 4s keram:interactive-user-errors
keram:interactive-user-errors
20m 4s
Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval Idris2 on Ubuntu #301: Pull request #650 opened by keram
9m 30s keram:idris-user-eval
keram:idris-user-eval
9m 30s
Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval Idris1 on Ubuntu #317: Pull request #650 opened by keram
20m 7s keram:idris-user-eval
keram:idris-user-eval
20m 7s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris2 on Ubuntu #300: Pull request #643 synchronize by keram
1m 38s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
1m 38s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris1 on Ubuntu #316: Pull request #643 synchronize by keram
2m 4s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
2m 4s
Add fallback for Idris2 to use :type-of for eldoc-lookup Idris2 on Ubuntu #299: Pull request #649 synchronize by keram
11m 40s keram:eldoc-idris2-fallback
keram:eldoc-idris2-fallback
11m 40s