Skip to content

Actions: keram/idris-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify idris-generate-def, remove dead code and Idris1 on Ubuntu #160: Commit e6c9604 pushed by keram
July 21, 2024 10:19 2m 33s devel-07-24
devel-07-24
July 21, 2024 10:19 2m 33s
Simplify idris-generate-def, remove dead code and Idris2 on Ubuntu #160: Commit e6c9604 pushed by keram
July 21, 2024 10:19 1m 47s devel-07-24
devel-07-24
July 21, 2024 10:19 1m 47s
Simplify idris-generate-def and remove dead code Idris2 on Ubuntu #159: Commit 3ddc330 pushed by keram
July 20, 2024 18:01 1m 46s devel-07-24
devel-07-24
July 20, 2024 18:01 1m 46s
Simplify idris-generate-def and remove dead code Idris1 on Ubuntu #159: Commit 3ddc330 pushed by keram
July 20, 2024 18:01 2m 31s devel-07-24
devel-07-24
July 20, 2024 18:01 2m 31s
Add idris-start-idris2-project which uses idris2 --init to genera… Idris2 on Ubuntu #158: Commit 0277f9e pushed by keram
July 19, 2024 11:18 1m 49s devel-07-24
devel-07-24
July 19, 2024 11:18 1m 49s
Add idris-start-idris2-project which uses idris2 --init to genera… Idris1 on Ubuntu #158: Commit 0277f9e pushed by keram
July 19, 2024 11:18 2m 38s devel-07-24
devel-07-24
July 19, 2024 11:18 2m 38s
Add idris-start-idris2-project which uses idris2 --init to genera… Idris2 on Ubuntu #157: Commit 0d53bf9 pushed by keram
July 19, 2024 11:17 2m 15s idris-start-idris2-project
idris-start-idris2-project
July 19, 2024 11:17 2m 15s
Add idris-start-idris2-project which uses idris2 --init to genera… Idris1 on Ubuntu #157: Commit 0d53bf9 pushed by keram
July 19, 2024 11:17 3m 11s idris-start-idris2-project
idris-start-idris2-project
July 19, 2024 11:17 3m 11s
Add idris-start-idris2-project which uses idris2 --init to Idris1 on Ubuntu #156: Commit f5db105 pushed by keram
July 18, 2024 20:46 2m 20s idris-start-idris2-project
idris-start-idris2-project
July 18, 2024 20:46 2m 20s
Add idris-start-idris2-project which uses idris2 --init to Idris2 on Ubuntu #156: Commit f5db105 pushed by keram
July 18, 2024 20:46 1m 57s idris-start-idris2-project
idris-start-idris2-project
July 18, 2024 20:46 1m 57s
Add idris-start-idris2-project which uses idris2 --init to Idris2 on Ubuntu #155: Commit 659b68b pushed by keram
July 18, 2024 20:17 1m 42s devel-07-24
devel-07-24
July 18, 2024 20:17 1m 42s
Add idris-start-idris2-project which uses idris2 --init to Idris1 on Ubuntu #155: Commit 659b68b pushed by keram
July 18, 2024 20:17 2m 17s devel-07-24
devel-07-24
July 18, 2024 20:17 2m 17s
Add idris-start-idris2-project which uses idris2 --init to Idris2 on Ubuntu #154: Commit 65c1102 pushed by keram
July 18, 2024 20:09 1m 43s devel-07-24
devel-07-24
July 18, 2024 20:09 1m 43s
Add idris-start-idris2-project which uses idris2 --init to Idris1 on Ubuntu #154: Commit 65c1102 pushed by keram
July 18, 2024 20:09 2m 18s devel-07-24
devel-07-24
July 18, 2024 20:09 2m 18s
Add idris-start-idris2-project which uses idris2 --init to Idris2 on Ubuntu #153: Commit 1d75d27 pushed by keram
July 18, 2024 18:29 1m 16s devel-07-24
devel-07-24
July 18, 2024 18:29 1m 16s
Add idris-start-idris2-project which uses idris2 --init to Idris1 on Ubuntu #153: Commit 1d75d27 pushed by keram
July 18, 2024 18:29 2m 19s devel-07-24
devel-07-24
July 18, 2024 18:29 2m 19s
wip idris2 create project Idris2 on Ubuntu #152: Commit 52c00f2 pushed by keram
July 18, 2024 10:38 1m 49s devel-07-24
devel-07-24
July 18, 2024 10:38 1m 49s
wip idris2 create project Idris1 on Ubuntu #152: Commit 52c00f2 pushed by keram
July 18, 2024 10:38 2m 18s devel-07-24
devel-07-24
July 18, 2024 10:38 2m 18s
Update idris-make-lemma to insert lemma above Idris2 on Ubuntu #151: Commit 42299bf pushed by keram
July 17, 2024 14:26 1m 52s devel-07-24
devel-07-24
July 17, 2024 14:26 1m 52s
Update idris-make-lemma to insert lemma above Idris1 on Ubuntu #151: Commit 42299bf pushed by keram
July 17, 2024 14:26 2m 31s devel-07-24
devel-07-24
July 17, 2024 14:26 2m 31s
Update idris-make-lemma to insert lemma above Idris2 on Ubuntu #150: Commit 2489268 pushed by keram
July 17, 2024 14:23 1m 59s idris-make-lemma-doc-string
idris-make-lemma-doc-string
July 17, 2024 14:23 1m 59s
Update idris-make-lemma to insert lemma above Idris1 on Ubuntu #150: Commit 2489268 pushed by keram
July 17, 2024 14:23 2m 18s idris-make-lemma-doc-string
idris-make-lemma-doc-string
July 17, 2024 14:23 2m 18s
Improve idris-filename-to-load to return a pair of Idris1 on Ubuntu #149: Commit 92b7e1b pushed by keram
July 15, 2024 13:08 2m 29s idris-filename-to-load-v2
idris-filename-to-load-v2
July 15, 2024 13:08 2m 29s
Improve idris-filename-to-load to return a pair of Idris2 on Ubuntu #149: Commit 92b7e1b pushed by keram
July 15, 2024 13:08 1m 53s idris-filename-to-load-v2
idris-filename-to-load-v2
July 15, 2024 13:08 1m 53s
WIP simplify idris-quit Idris2 on Ubuntu #148: Commit 2de6df1 pushed by keram
July 13, 2024 23:07 1m 56s idris-quit-v2
idris-quit-v2
July 13, 2024 23:07 1m 56s