Skip to content

Actions: buzden/Idris2

Actions

Idris2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2.yml
9 workflow run results
9 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Make %runElab expressions to have unrestricted quantity Idris2 #326: Commit 10f3237 pushed by buzden
August 1, 2023 13:07 1h 18m 42s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 13:07 1h 18m 42s
[ exprim ] Revert back elab mode for the decl-level %runElab Idris2 #325: Commit a05c0ab pushed by buzden
August 1, 2023 12:23 1h 13m 16s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 1, 2023 12:23 1h 13m 16s
[ elab ] Make %runElab expressions to have unrestricted quantity Idris2 #324: Commit bfc90b4 pushed by buzden
August 1, 2023 10:55 1h 29m 58s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 10:55 1h 29m 58s
[ elab ] Make %macro-function be callable without the extension Idris2 #323: Commit a58356f pushed by buzden
August 1, 2023 10:16 1h 11m 7s macro-without-extension
macro-without-extension
August 1, 2023 10:16 1h 11m 7s
[ elab ] Make %macro-function be callable without the extension Idris2 #322: Commit ca1a3c1 pushed by buzden
August 1, 2023 08:02 1h 14m 14s macro-without-extension
macro-without-extension
August 1, 2023 08:02 1h 14m 14s
[ elab ] Make %macro-function be callable without the extension Idris2 #321: Commit d260b21 pushed by buzden
August 1, 2023 07:55 7m 37s macro-without-extension
macro-without-extension
August 1, 2023 07:55 7m 37s
[ elab ] Make %macro-function be callable without the extension Idris2 #320: Commit 2b4c9e9 pushed by buzden
August 1, 2023 07:52 3m 24s macro-without-extension
macro-without-extension
August 1, 2023 07:52 3m 24s
[ memo ] Implement memoisation on %memoise functions for scheme Idris2 #319: Commit 79912ee pushed by buzden
July 24, 2023 08:17 1h 27m 24s memo-functions
memo-functions
July 24, 2023 08:17 1h 27m 24s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Idris2 #318: Commit 6732126 pushed by buzden
July 24, 2023 08:08 1h 20m 38s memo-lazy
memo-lazy
July 24, 2023 08:08 1h 20m 38s