Skip to content

Actions: idris-hackers/idris-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #648 from keram/notes-buffer-impro Idris2 on Ubuntu #314: Commit 85928dc pushed by jfdm
1m 39s main
main
1m 39s
Merge pull request #648 from keram/notes-buffer-impro Idris1 on Ubuntu #330: Commit 85928dc pushed by jfdm
2m 4s main
main
2m 4s
Merge pull request #652 from keram/xref-find-references Idris1 on Ubuntu #329: Commit b6ba424 pushed by jfdm
2m 28s main
main
2m 28s
Merge pull request #652 from keram/xref-find-references Idris2 on Ubuntu #313: Commit b6ba424 pushed by jfdm
1m 38s main
main
1m 38s
Add support for xref-find-references Idris1 on Ubuntu #328: Pull request #652 opened by keram
3m 3s keram:xref-find-references
keram:xref-find-references
3m 3s
Add support for xref-find-references Idris2 on Ubuntu #312: Pull request #652 opened by keram
1m 39s keram:xref-find-references
keram:xref-find-references
1m 39s
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