Skip to content

Actions: idris-lang/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
214 workflow run results
214 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ error ] Improve parse errors in ipkg files Idris2 and External Libs #183: Commit af10fba pushed by gallais
November 12, 2023 10:09 1h 8m 36s main
main
November 12, 2023 10:09 1h 8m 36s
[ test ] Reduce the need of frequent golden vals updates in one test Idris2 and External Libs #178: Commit 1aff26e pushed by gallais
November 9, 2023 22:05 1h 14m 53s main
main
November 9, 2023 22:05 1h 14m 53s
[ base ] Add bindings for ieee Double number consts (#3116) Idris2 and External Libs #176: Commit d80bc15 pushed by gallais
November 9, 2023 14:01 1h 8m 46s main
main
November 9, 2023 14:01 1h 8m 46s
[ ffi ] Fix missing structure declarations in scheme ffi Idris2 and External Libs #175: Commit a945b5d pushed by gallais
November 9, 2023 14:00 1m 48s main
main
November 9, 2023 14:00 1m 48s
Cleanup of sizeEq (#3138) Idris2 and External Libs #174: Commit db4c5e7 pushed by gallais
November 9, 2023 13:59 52s main
main
November 9, 2023 13:59 52s
Support "make -j" (#3135) Idris2 and External Libs #171: Commit 7c87005 pushed by gallais
November 8, 2023 08:18 1h 10m 53s main
main
November 8, 2023 08:18 1h 10m 53s
[ doc ] bring findLoops and checkNonDesc description back in sync Idris2 and External Libs #169: Commit a26766e pushed by mjustus
November 6, 2023 20:10 1h 15m 50s main
main
November 6, 2023 20:10 1h 15m 50s
[ deriving ] Try to reduce a type before searching it's showable Idris2 and External Libs #141: Commit 64ad807 pushed by gallais
October 30, 2023 10:07 1h 6m 25s main
main
October 30, 2023 10:07 1h 6m 25s
[ fix ] missing modules in .ipkg files (#3124) Idris2 and External Libs #138: Commit bee59d5 pushed by gallais
October 27, 2023 19:37 1h 14m 19s main
main
October 27, 2023 19:37 1h 14m 19s
[ linear ] introduce mapFst, mapSnd (#3121) Idris2 and External Libs #132: Commit e2d2710 pushed by gallais
October 27, 2023 12:22 1h 20m 25s main
main
October 27, 2023 12:22 1h 20m 25s
[ cleanup ] remove duplicate copy of header parsing (#3122) Idris2 and External Libs #130: Commit 73507a8 pushed by gallais
October 27, 2023 12:08 14m 15s main
main
October 27, 2023 12:08 14m 15s
[ ci ] Run a brew update during ci Idris2 and External Libs #124: Commit 58ec72e pushed by gallais
October 27, 2023 06:55 1h 18m 36s main
main
October 27, 2023 06:55 1h 18m 36s
[ elab ] Add an ability to inspect in which function we currently are Idris2 and External Libs #121: Commit 5f29b0b pushed by gallais
October 26, 2023 14:42 1h 13m 31s main
main
October 26, 2023 14:42 1h 13m 31s
[ doc ] Improve the landing page (#3119) Idris2 and External Libs #116: Commit 9f93d4c pushed by gallais
October 26, 2023 09:35 1h 21m 15s main
main
October 26, 2023 09:35 1h 21m 15s