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

[ fix ] Make traverse and friends lazy for LazyList Lint the sources #469: Commit 4856cde pushed by buzden
September 15, 2023 13:56 19s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 15, 2023 13:56 19s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #467: Commit 4856cde pushed by buzden
September 15, 2023 13:56 2m 48s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 15, 2023 13:56 2m 48s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #3: Commit 4856cde pushed by buzden
September 15, 2023 13:56 1h 22m 29s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 15, 2023 13:56 1h 22m 29s
[ fix ] Make traverse and friends lazy for LazyList Lint the sources #468: Commit 4846861 pushed by buzden
September 15, 2023 13:50 17s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 15, 2023 13:50 17s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #368: Commit 4846861 pushed by buzden
September 15, 2023 13:50 36s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 15, 2023 13:50 36s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #466: Commit 4846861 pushed by buzden
September 15, 2023 13:50 2m 15s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 15, 2023 13:50 2m 15s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #2: Commit 4846861 pushed by buzden
September 15, 2023 13:50 6m 50s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 15, 2023 13:50 6m 50s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint the sources #467: Commit 491629c pushed by buzden
September 15, 2023 09:12 19s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
September 15, 2023 09:12 19s
[ elab ] Make %runElab expressions to have unrestricted quantity Idris2 and External Libs #1: Commit 491629c pushed by buzden
September 15, 2023 09:12 1h 23m 9s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
September 15, 2023 09:12 1h 23m 9s
[ elab ] Make %runElab expressions to have unrestricted quantity Sphinx #367: Commit 491629c pushed by buzden
September 15, 2023 09:12 35s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
September 15, 2023 09:12 35s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint Code Base #465: Commit 491629c pushed by buzden
September 15, 2023 09:12 2m 16s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
September 15, 2023 09:12 2m 16s
[ experim ] A silly experiment Sphinx #366: Commit 72fed15 pushed by buzden
September 12, 2023 11:34 34s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 11:34 34s
[ experim ] A silly experiment Lint Code Base #464: Commit 72fed15 pushed by buzden
September 12, 2023 11:34 2m 31s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 11:34 2m 31s
[ experim ] A silly experiment Idris2 #355: Commit 72fed15 pushed by buzden
September 12, 2023 11:34 1h 7m 46s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 11:34 1h 7m 46s
[ experim ] A silly experiment Lint the sources #466: Commit 72fed15 pushed by buzden
September 12, 2023 11:34 13s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 11:34 13s
[ highlighting ] Make opening bracket to be highlighted as closing one Idris2 #354: Commit 9919039 pushed by buzden
September 12, 2023 09:49 1h 11m 19s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 09:49 1h 11m 19s
[ highlighting ] Make opening bracket to be highlighted as closing one Lint Code Base #463: Commit 9919039 pushed by buzden
September 12, 2023 09:49 2m 18s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 09:49 2m 18s
[ highlighting ] Make opening bracket to be highlighted as closing one Lint the sources #465: Commit 9919039 pushed by buzden
September 12, 2023 09:49 15s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 09:49 15s
[ highlighting ] Make opening bracket to be highlighted as closing one Sphinx #365: Commit 9919039 pushed by buzden
September 12, 2023 09:49 34s fix-brackets-decoration-consistency
fix-brackets-decoration-consistency
September 12, 2023 09:49 34s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Lint Code Base #462: Commit f370566 pushed by buzden
September 11, 2023 10:30 2m 16s fix-show-with-clause
fix-show-with-clause
September 11, 2023 10:30 2m 16s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Lint the sources #464: Commit f370566 pushed by buzden
September 11, 2023 10:30 19s fix-show-with-clause
fix-show-with-clause
September 11, 2023 10:30 19s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Sphinx #364: Commit f370566 pushed by buzden
September 11, 2023 10:30 39s fix-show-with-clause
fix-show-with-clause
September 11, 2023 10:30 39s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Idris2 #353: Commit f370566 pushed by buzden
September 11, 2023 10:30 1h 15m 49s fix-show-with-clause
fix-show-with-clause
September 11, 2023 10:30 1h 15m 49s
[ elab ] Make %macro-function be callable without the extension Idris2 #352: Commit 5422495 pushed by buzden
September 8, 2023 15:12 1h 8m 48s macro-without-extension
macro-without-extension
September 8, 2023 15:12 1h 8m 48s
[ elab ] Make %macro-function be callable without the extension Lint the sources #463: Commit 5422495 pushed by buzden
September 8, 2023 15:12 20s macro-without-extension
macro-without-extension
September 8, 2023 15:12 20s
ProTip! You can narrow down the results and go further in time using created:<2023-09-08 or the other filters available.