Skip to content

Actions: idris-hackers/idris-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add fallback for Idris2 to use :type-of for eldoc-lookup Idris1 on Ubuntu #315: Pull request #649 synchronize by keram
2m 1s keram:eldoc-idris2-fallback
keram:eldoc-idris2-fallback
2m 1s
Hide notes buffer whe no notes available Idris1 on Ubuntu #314: Pull request #648 synchronize by keram
2m 1s keram:notes-buffer-impro
keram:notes-buffer-impro
2m 1s
Hide notes buffer whe no notes available Idris2 on Ubuntu #298: Pull request #648 synchronize by keram
1m 35s keram:notes-buffer-impro
keram:notes-buffer-impro
1m 35s
Merge pull request #647 from keram/generate-def-simpl Idris2 on Ubuntu #297: Commit 49c6f38 pushed by jfdm
1m 41s main
main
1m 41s
Merge pull request #647 from keram/generate-def-simpl Idris1 on Ubuntu #313: Commit 49c6f38 pushed by jfdm
2m 2s main
main
2m 2s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris1 on Ubuntu #312: Pull request #636 synchronize by keram
2m 17s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
2m 17s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris2 on Ubuntu #296: Pull request #636 synchronize by keram
1m 34s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
1m 34s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris2 on Ubuntu #295: Pull request #643 synchronize by keram
1m 28s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
1m 28s
Ensure Idris is running and current idr file loaded when using idris-switch-to-repl Idris1 on Ubuntu #311: Pull request #643 synchronize by keram
2m 11s keram:jump-to-repl-from-cold
keram:jump-to-repl-from-cold
2m 11s
Add fallback for Idris2 to use :type-of for eldoc-lookup Idris1 on Ubuntu #310: Pull request #649 opened by keram
2m 13s keram:eldoc-idris2-fallback
keram:eldoc-idris2-fallback
2m 13s
Add fallback for Idris2 to use :type-of for eldoc-lookup Idris2 on Ubuntu #294: Pull request #649 opened by keram
1m 35s keram:eldoc-idris2-fallback
keram:eldoc-idris2-fallback
1m 35s
Hide notes buffer whe no notes available Idris2 on Ubuntu #293: Pull request #648 opened by keram
1m 35s keram:notes-buffer-impro
keram:notes-buffer-impro
1m 35s
Hide notes buffer whe no notes available Idris1 on Ubuntu #309: Pull request #648 opened by keram
1m 59s keram:notes-buffer-impro
keram:notes-buffer-impro
1m 59s
Simplify idris-generate-def, remove commented out code and add test for idris-generate-def-next Idris1 on Ubuntu #308: Pull request #647 synchronize by keram
2m 0s keram:generate-def-simpl
keram:generate-def-simpl
2m 0s
Simplify idris-generate-def, remove commented out code and add test for idris-generate-def-next Idris2 on Ubuntu #292: Pull request #647 synchronize by keram
1m 36s keram:generate-def-simpl
keram:generate-def-simpl
1m 36s
Simplify idris-generate-def, remove commented out code and add test for idris-generate-def-next Idris1 on Ubuntu #307: Pull request #647 opened by keram
2m 2s keram:generate-def-simpl
keram:generate-def-simpl
2m 2s
Simplify idris-generate-def, remove commented out code and add test for idris-generate-def-next Idris2 on Ubuntu #291: Pull request #647 opened by keram
1m 37s keram:generate-def-simpl
keram:generate-def-simpl
1m 37s
Merge pull request #646 from keram/update-github-actions-strategy Idris1 on Ubuntu #306: Commit b45ddda pushed by jfdm
21m 48s main
main
21m 48s
Merge pull request #646 from keram/update-github-actions-strategy Idris2 on Ubuntu #290: Commit b45ddda pushed by jfdm
9m 32s main
main
9m 32s
Update CI Emacs versions to last 3 current major releases Idris2 on Ubuntu #289: Pull request #646 opened by keram
9m 41s keram:update-github-actions-strategy
keram:update-github-actions-strategy
9m 41s
Update CI Emacs versions to last 3 current major releases Idris1 on Ubuntu #305: Pull request #646 opened by keram
20m 7s keram:update-github-actions-strategy
keram:update-github-actions-strategy
20m 7s
Merge pull request #641 from keram/idris-quit-v2 Idris2 on Ubuntu #288: Commit ca1e5fd pushed by jfdm
3m 21s main
main
3m 21s