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

[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint Code Base #480: Commit bd1fb71 pushed by buzden
September 29, 2023 12:35 2m 16s some-small-changes
some-small-changes
September 29, 2023 12:35 2m 16s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint Code Base #479: Commit 163615e pushed by buzden
September 29, 2023 10:27 2m 11s some-small-changes
some-small-changes
September 29, 2023 10:27 2m 11s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint the sources #481: Commit 163615e pushed by buzden
September 29, 2023 10:27 13s some-small-changes
some-small-changes
September 29, 2023 10:27 13s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Sphinx #381: Commit 163615e pushed by buzden
September 29, 2023 10:27 33s some-small-changes
some-small-changes
September 29, 2023 10:27 33s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Idris2 and External Libs #15: Commit 163615e pushed by buzden
September 29, 2023 10:27 1h 38m 16s some-small-changes
some-small-changes
September 29, 2023 10:27 1h 38m 16s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Sphinx #380: Commit d6ce35f pushed by buzden
September 29, 2023 10:25 33s some-small-changes
some-small-changes
September 29, 2023 10:25 33s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint Code Base #478: Commit d6ce35f pushed by buzden
September 29, 2023 10:25 2m 13s some-small-changes
some-small-changes
September 29, 2023 10:25 2m 13s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint the sources #480: Commit d6ce35f pushed by buzden
September 29, 2023 10:25 17s some-small-changes
some-small-changes
September 29, 2023 10:25 17s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Idris2 and External Libs #14: Commit d6ce35f pushed by buzden
September 29, 2023 10:25 2m 27s some-small-changes
some-small-changes
September 29, 2023 10:25 2m 27s
[ test ] Adapt to the changed testing dir layout and practices Idris2 and External Libs #13: Commit 74c7566 pushed by buzden
September 29, 2023 10:17 1h 15m 26s memo-lazy-no-workaround
memo-lazy-no-workaround
September 29, 2023 10:17 1h 15m 26s
[ test ] Adapt to the changed testing dir layout and practices Sphinx #379: Commit 74c7566 pushed by buzden
September 29, 2023 10:17 38s memo-lazy-no-workaround
memo-lazy-no-workaround
September 29, 2023 10:17 38s
[ test ] Adapt to the changed testing dir layout and practices Lint the sources #479: Commit 74c7566 pushed by buzden
September 29, 2023 10:17 14s memo-lazy-no-workaround
memo-lazy-no-workaround
September 29, 2023 10:17 14s
[ test ] Adapt to the changed testing dir layout and practices Lint Code Base #477: Commit 74c7566 pushed by buzden
September 29, 2023 10:17 2m 15s memo-lazy-no-workaround
memo-lazy-no-workaround
September 29, 2023 10:17 2m 15s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Idris2 and External Libs #12: Commit b8483f7 pushed by buzden
September 26, 2023 11:24 1h 30m 32s fix-show-with-clause
fix-show-with-clause
September 26, 2023 11:24 1h 30m 32s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Sphinx #378: Commit b8483f7 pushed by buzden
September 26, 2023 11:24 33s fix-show-with-clause
fix-show-with-clause
September 26, 2023 11:24 33s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Lint Code Base #476: Commit b8483f7 pushed by buzden
September 26, 2023 11:24 2m 19s fix-show-with-clause
fix-show-with-clause
September 26, 2023 11:24 2m 19s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Lint the sources #478: Commit b8483f7 pushed by buzden
September 26, 2023 11:24 22s fix-show-with-clause
fix-show-with-clause
September 26, 2023 11:24 22s
[ test ] Adapt to the changed testing dir layout and practices Sphinx #377: Commit 21079da pushed by buzden
September 26, 2023 11:23 39s memo-lazy
memo-lazy
September 26, 2023 11:23 39s
[ test ] Adapt to the changed testing dir layout and practices Idris2 and External Libs #11: Commit 21079da pushed by buzden
September 26, 2023 11:23 1h 5m 58s memo-lazy
memo-lazy
September 26, 2023 11:23 1h 5m 58s
[ test ] Adapt to the changed testing dir layout and practices Lint Code Base #475: Commit 21079da pushed by buzden
September 26, 2023 11:23 3m 4s memo-lazy
memo-lazy
September 26, 2023 11:23 3m 4s
[ test ] Adapt to the changed testing dir layout and practices Lint the sources #477: Commit 21079da pushed by buzden
September 26, 2023 11:23 22s memo-lazy
memo-lazy
September 26, 2023 11:23 22s
[ fix ] Make traverse and friends lazy for LazyList Lint the sources #476: Commit 2515527 pushed by buzden
September 25, 2023 13:04 16s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 25, 2023 13:04 16s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #474: Commit 2515527 pushed by buzden
September 25, 2023 13:04 2m 23s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 25, 2023 13:04 2m 23s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #10: Commit 2515527 pushed by buzden
September 25, 2023 13:04 1h 24m 52s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 25, 2023 13:04 1h 24m 52s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #376: Commit 2515527 pushed by buzden
September 25, 2023 13:04 37s lazy-for-for-lazy-list
lazy-for-for-lazy-list
September 25, 2023 13:04 37s
ProTip! You can narrow down the results and go further in time using created:<2023-09-25 or the other filters available.