Skip to content

Actions: jfdm/idris-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] revert regexp for ipkg source dirs. Idris2 on Ubuntu #49: Commit ecd9c9b pushed by jfdm
July 4, 2024 13:32 11m 13s revert-regexp
revert-regexp
July 4, 2024 13:32 11m 13s
[ fix ] revert regexp for ipkg source dirs. Idris1 on Ubuntu #62: Commit ecd9c9b pushed by jfdm
July 4, 2024 13:32 23m 8s revert-regexp
revert-regexp
July 4, 2024 13:32 23m 8s
[ ci ] ensure we test idris1 againsts latest idris1 and emacs. Idris2 on Ubuntu #48: Commit 9ebf02d pushed by jfdm
June 19, 2024 16:39 9m 33s spruce
spruce
June 19, 2024 16:39 9m 33s
[ ci ] ensure we test idris1 againsts latest idris1 and emacs. Idris1 on Ubuntu #61: Commit 9ebf02d pushed by jfdm
June 19, 2024 16:39 21m 39s spruce
spruce
June 19, 2024 16:39 21m 39s
[ ci ] bump emacs version range forward. Idris1 on Ubuntu #60: Commit 65cf3a1 pushed by jfdm
June 19, 2024 16:37 20m 50s spruce-ci
spruce-ci
June 19, 2024 16:37 20m 50s
[ ci ] bump emacs version range forward. Idris2 on Ubuntu #47: Commit 65cf3a1 pushed by jfdm
June 19, 2024 16:37 9m 40s spruce-ci
spruce-ci
June 19, 2024 16:37 9m 40s
[ ci ] prune workflows for Idris1 Idris2 on Ubuntu #46: Commit 3d4e599 pushed by jfdm
June 19, 2024 16:33 9m 18s spruce-ci
spruce-ci
June 19, 2024 16:33 9m 18s
[ ci ] prune workflows for Idris1 Idris1 on Ubuntu #59: Commit 3d4e599 pushed by jfdm
June 19, 2024 16:33 20m 12s spruce-ci
spruce-ci
June 19, 2024 16:33 20m 12s
[ ci ] bump emacs version range forward. Idris1 on Ubuntu #58: Commit 727d586 pushed by jfdm
June 10, 2024 09:23 20m 24s emacs-bumps
emacs-bumps
June 10, 2024 09:23 20m 24s
[ ci ] bump emacs version range forward. Idris2 on Ubuntu #45: Commit 727d586 pushed by jfdm
June 10, 2024 09:23 8m 58s emacs-bumps
emacs-bumps
June 10, 2024 09:23 8m 58s
Merge pull request #627 from keram/issue-624-pack Idris1 on Ubuntu #57: Commit 334fef6 pushed by jfdm
June 10, 2024 09:09 17m 37s main
main
June 10, 2024 09:09 17m 37s
Merge pull request #627 from keram/issue-624-pack Idris2 on Ubuntu #44: Commit 334fef6 pushed by jfdm
June 10, 2024 09:09 8m 34s main
main
June 10, 2024 09:09 8m 34s