Skip to content

Actions: buzden/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow run results
39 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Make %runElab expressions to have unrestricted quantity Sphinx #337: Commit 10f3237 pushed by buzden
August 1, 2023 13:07 38s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 13:07 38s
[ 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
[ elab ] Make %runElab expressions to have unrestricted quantity Lint Code Base #435: Commit 10f3237 pushed by buzden
August 1, 2023 13:07 2m 13s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 13:07 2m 13s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint the sources #437: Commit 10f3237 pushed by buzden
August 1, 2023 13:07 13s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 13:07 13s
[ exprim ] Revert back elab mode for the decl-level %runElab Sphinx #336: Commit a05c0ab pushed by buzden
August 1, 2023 12:23 37s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 1, 2023 12:23 37s
[ exprim ] Revert back elab mode for the decl-level %runElab Lint the sources #436: Commit a05c0ab pushed by buzden
August 1, 2023 12:23 11s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 1, 2023 12:23 11s
[ 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
[ exprim ] Revert back elab mode for the decl-level %runElab Lint Code Base #434: Commit a05c0ab pushed by buzden
August 1, 2023 12:23 2m 29s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 1, 2023 12:23 2m 29s
[ docs ] Fix the formatting warning in the docs Lint the sources #435: Commit 8b99d04 pushed by buzden
August 1, 2023 11:20 12s fix-doc-formatting-warning
fix-doc-formatting-warning
August 1, 2023 11:20 12s
[ docs ] Fix the formatting warning in the docs Sphinx #335: Commit 8b99d04 pushed by buzden
August 1, 2023 11:20 40s fix-doc-formatting-warning
fix-doc-formatting-warning
August 1, 2023 11:20 40s
[ docs ] Fix the formatting warning in the docs Lint Code Base #433: Commit 8b99d04 pushed by buzden
August 1, 2023 11:20 2m 8s fix-doc-formatting-warning
fix-doc-formatting-warning
August 1, 2023 11:20 2m 8s
[ 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 %runElab expressions to have unrestricted quantity Sphinx #334: Commit bfc90b4 pushed by buzden
August 1, 2023 10:55 40s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 10:55 40s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint the sources #434: Commit bfc90b4 pushed by buzden
August 1, 2023 10:55 14s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 10:55 14s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint Code Base #432: Commit bfc90b4 pushed by buzden
August 1, 2023 10:55 2m 30s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
August 1, 2023 10:55 2m 30s
[ elab ] Make %macro-function be callable without the extension Lint Code Base #431: Commit a58356f pushed by buzden
August 1, 2023 10:16 2m 13s macro-without-extension
macro-without-extension
August 1, 2023 10:16 2m 13s
[ elab ] Make %macro-function be callable without the extension Lint the sources #433: Commit a58356f pushed by buzden
August 1, 2023 10:16 13s macro-without-extension
macro-without-extension
August 1, 2023 10:16 13s
[ 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 Sphinx #333: Commit a58356f pushed by buzden
August 1, 2023 10:16 42s macro-without-extension
macro-without-extension
August 1, 2023 10:16 42s
[ elab ] Make %macro-function be callable without the extension Sphinx #332: Commit ca1a3c1 pushed by buzden
August 1, 2023 08:02 46s macro-without-extension
macro-without-extension
August 1, 2023 08:02 46s
[ elab ] Make %macro-function be callable without the extension Lint Code Base #430: Commit ca1a3c1 pushed by buzden
August 1, 2023 08:02 2m 42s macro-without-extension
macro-without-extension
August 1, 2023 08:02 2m 42s
[ elab ] Make %macro-function be callable without the extension Lint the sources #432: Commit ca1a3c1 pushed by buzden
August 1, 2023 08:02 11s macro-without-extension
macro-without-extension
August 1, 2023 08:02 11s
[ 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 Sphinx #331: Commit d260b21 pushed by buzden
August 1, 2023 07:55 36s macro-without-extension
macro-without-extension
August 1, 2023 07:55 36s
[ elab ] Make %macro-function be callable without the extension Lint Code Base #429: Commit d260b21 pushed by buzden
August 1, 2023 07:55 2m 8s macro-without-extension
macro-without-extension
August 1, 2023 07:55 2m 8s