Skip to content

Actions: idris-hackers/idris-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make so idris-identifier-face doesn't explicitly inherit from the default face Idris2 on Ubuntu #260: Pull request #638 opened by ZharMeny
October 18, 2024 15:24 Action required ZharMeny:main
ZharMeny:main
October 18, 2024 15:24 Action required
Make so idris-identifier-face doesn't explicitly inherit from the default face Idris1 on Ubuntu #276: Pull request #638 opened by ZharMeny
October 18, 2024 15:24 Action required ZharMeny:main
ZharMeny:main
October 18, 2024 15:24 Action required
Update idris-make-lemma to insert lemma above doc string of current function. Idris1 on Ubuntu #275: Pull request #637 opened by keram
July 17, 2024 14:26 2m 22s keram:idris-make-lemma-doc-string
keram:idris-make-lemma-doc-string
July 17, 2024 14:26 2m 22s
Update idris-make-lemma to insert lemma above doc string of current function. Idris2 on Ubuntu #259: Pull request #637 opened by keram
July 17, 2024 14:26 11m 16s keram:idris-make-lemma-doc-string
keram:idris-make-lemma-doc-string
July 17, 2024 14:26 11m 16s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris2 on Ubuntu #258: Pull request #634 synchronize by keram
July 15, 2024 13:08 1m 49s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 15, 2024 13:08 1m 49s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris1 on Ubuntu #274: Pull request #634 synchronize by keram
July 15, 2024 13:08 2m 21s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 15, 2024 13:08 2m 21s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris2 on Ubuntu #257: Pull request #636 opened by keram
July 13, 2024 19:52 10m 59s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
July 13, 2024 19:52 10m 59s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris1 on Ubuntu #273: Pull request #636 opened by keram
July 13, 2024 19:52 2m 15s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
July 13, 2024 19:52 2m 15s
Specify -- as comment syntax for ipkg mode Idris2 on Ubuntu #256: Pull request #635 opened by keram
July 13, 2024 15:55 10m 55s keram:ipkg-comment-syntax
keram:ipkg-comment-syntax
July 13, 2024 15:55 10m 55s
Specify -- as comment syntax for ipkg mode Idris1 on Ubuntu #272: Pull request #635 opened by keram
July 13, 2024 15:55 2m 22s keram:ipkg-comment-syntax
keram:ipkg-comment-syntax
July 13, 2024 15:55 2m 22s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris2 on Ubuntu #255: Pull request #634 synchronize by keram
July 13, 2024 15:34 11m 0s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 13, 2024 15:34 11m 0s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris1 on Ubuntu #271: Pull request #634 synchronize by keram
July 13, 2024 15:34 2m 18s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 13, 2024 15:34 2m 18s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris1 on Ubuntu #270: Pull request #634 opened by keram
July 8, 2024 23:33 2m 36s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 8, 2024 23:33 2m 36s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris2 on Ubuntu #254: Pull request #634 opened by keram
July 8, 2024 23:33 4s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 8, 2024 23:33 4s
Merge pull request #632 from jfdm/revert-regexp Idris1 on Ubuntu #269: Commit 09de86a pushed by jfdm
July 4, 2024 13:34 27m 7s main
main
July 4, 2024 13:34 27m 7s
Merge pull request #632 from jfdm/revert-regexp Idris2 on Ubuntu #253: Commit 09de86a pushed by jfdm
July 4, 2024 13:34 11m 9s main
main
July 4, 2024 13:34 11m 9s
[ fix ] revert regexp for ipkg source dirs. Idris2 on Ubuntu #252: Pull request #632 opened by jfdm
July 4, 2024 13:32 11m 8s jfdm:revert-regexp
jfdm:revert-regexp
July 4, 2024 13:32 11m 8s
[ fix ] revert regexp for ipkg source dirs. Idris1 on Ubuntu #268: Pull request #632 opened by jfdm
July 4, 2024 13:32 26m 34s jfdm:revert-regexp
jfdm:revert-regexp
July 4, 2024 13:32 26m 34s
Merge pull request #631 from jfdm/spruce Idris1 on Ubuntu #267: Commit 38dd238 pushed by jfdm
June 19, 2024 17:00 20m 46s main
main
June 19, 2024 17:00 20m 46s
Merge pull request #631 from jfdm/spruce Idris2 on Ubuntu #251: Commit 38dd238 pushed by jfdm
June 19, 2024 17:00 9m 21s main
main
June 19, 2024 17:00 9m 21s
[ ci ] ensure we test idris1 againsts latest idris1 and emacs. Idris2 on Ubuntu #250: Pull request #631 opened by jfdm
June 19, 2024 16:39 9m 14s jfdm:spruce
jfdm:spruce
June 19, 2024 16:39 9m 14s
[ ci ] ensure we test idris1 againsts latest idris1 and emacs. Idris1 on Ubuntu #266: Pull request #631 opened by jfdm
June 19, 2024 16:39 20m 20s jfdm:spruce
jfdm:spruce
June 19, 2024 16:39 20m 20s
Merge pull request #628 from jfdm/emacs-bumps Idris2 on Ubuntu #249: Commit 01ecdba pushed by jfdm
June 10, 2024 09:44 9m 7s main
main
June 10, 2024 09:44 9m 7s
Merge pull request #628 from jfdm/emacs-bumps Idris1 on Ubuntu #265: Commit 01ecdba pushed by jfdm
June 10, 2024 09:44 20m 0s main
main
June 10, 2024 09:44 20m 0s
[ ci ] bump emacs version range forward. Idris2 on Ubuntu #248: Pull request #628 opened by jfdm
June 10, 2024 09:24 9m 18s jfdm:emacs-bumps
jfdm:emacs-bumps
June 10, 2024 09:24 9m 18s