Skip to content

Actions: buzden/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
991 workflow runs
991 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ experim ] Just set top instead of bot in the processRunElab Lint the sources #438: Commit 40cdb19 pushed by buzden
August 10, 2023 10:31 16s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 10, 2023 10:31 16s
[ experim ] Just set top instead of bot in the processRunElab Sphinx #338: Commit 40cdb19 pushed by buzden
August 10, 2023 10:31 41s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 10, 2023 10:31 41s
[ 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
[ 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 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 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
[ 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
[ 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 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 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
[ 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
[ 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 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
[ 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 %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 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 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 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 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 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 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 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 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 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 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
ProTip! You can narrow down the results and go further in time using created:<2023-08-01 or the other filters available.