Skip to content

Actions: idris-hackers/idris-mode

Actions

Idris2 on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
July 13, 2024 15:55 10m 55s
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
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
July 4, 2024 13:32 11m 8s
Merge pull request #631 from jfdm/spruce
Idris2 on Ubuntu #251: Commit 38dd238 pushed by jfdm
June 19, 2024 17:00 9m 21s 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
June 19, 2024 16:39 9m 14s
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
June 10, 2024 09:44 9m 7s
[ 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
June 10, 2024 09:24 9m 18s
Merge pull request #627 from keram/issue-624-pack
Idris2 on Ubuntu #247: Commit 334fef6 pushed by jfdm
June 10, 2024 09:07 8m 35s main
June 10, 2024 09:07 8m 35s
Merge pull request #623 from keram/issue-622-idris-start-project-ipkg
Idris2 on Ubuntu #245: Commit aa580b6 pushed by jfdm
April 23, 2024 13:20 8m 20s main
April 23, 2024 13:20 8m 20s