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

[ elab ] Make %macro-function be callable without the extension Lint Code Base #461: Commit 5422495 pushed by buzden
September 8, 2023 15:12 2m 27s macro-without-extension
macro-without-extension
September 8, 2023 15:12 2m 27s
[ elab ] Make %macro-function be callable without the extension Sphinx #363: Commit 5422495 pushed by buzden
September 8, 2023 15:12 33s macro-without-extension
macro-without-extension
September 8, 2023 15:12 33s
[ test ] Adapt to the changed testing dir layout and practices Sphinx #362: Commit 3f00baf pushed by buzden
September 8, 2023 13:28 33s memo-lazy
memo-lazy
September 8, 2023 13:28 33s
[ test ] Adapt to the changed testing dir layout and practices Idris2 #351: Commit 3f00baf pushed by buzden
September 8, 2023 13:28 1h 5m 2s memo-lazy
memo-lazy
September 8, 2023 13:28 1h 5m 2s
[ test ] Adapt to the changed testing dir layout and practices Lint the sources #462: Commit 3f00baf pushed by buzden
September 8, 2023 13:28 14s memo-lazy
memo-lazy
September 8, 2023 13:28 14s
[ test ] Adapt to the changed testing dir layout and practices Lint Code Base #460: Commit 3f00baf pushed by buzden
September 8, 2023 13:28 2m 31s memo-lazy
memo-lazy
September 8, 2023 13:28 2m 31s
[ elab ] Make %macro-function be callable without the extension Lint Code Base #459: Commit f8704b9 pushed by buzden
September 8, 2023 12:39 2m 22s macro-without-extension
macro-without-extension
September 8, 2023 12:39 2m 22s
[ elab ] Make %macro-function be callable without the extension Lint the sources #461: Commit f8704b9 pushed by buzden
September 8, 2023 12:39 13s macro-without-extension
macro-without-extension
September 8, 2023 12:39 13s
[ elab ] Make %macro-function be callable without the extension Sphinx #361: Commit f8704b9 pushed by buzden
September 8, 2023 12:39 42s macro-without-extension
macro-without-extension
September 8, 2023 12:39 42s
[ elab ] Make %macro-function be callable without the extension Idris2 #350: Commit f8704b9 pushed by buzden
September 8, 2023 12:39 1h 10m 21s macro-without-extension
macro-without-extension
September 8, 2023 12:39 1h 10m 21s
[ elab ] Make %macro-function be callable without the extension Idris2 #349: Commit 60e851c pushed by buzden
September 4, 2023 14:39 1h 4m 35s macro-without-extension
macro-without-extension
September 4, 2023 14:39 1h 4m 35s
[ elab ] Make %macro-function be callable without the extension Sphinx #360: Commit 60e851c pushed by buzden
September 4, 2023 14:39 37s macro-without-extension
macro-without-extension
September 4, 2023 14:39 37s
[ elab ] Make %macro-function be callable without the extension Lint Code Base #458: Commit 60e851c pushed by buzden
September 4, 2023 14:39 3m 6s macro-without-extension
macro-without-extension
September 4, 2023 14:39 3m 6s
[ elab ] Make %macro-function be callable without the extension Lint the sources #460: Commit 60e851c pushed by buzden
September 4, 2023 14:39 15s macro-without-extension
macro-without-extension
September 4, 2023 14:39 15s
[ elab ] Make %macro-function be callable without the extension Idris2 #348: Commit 50ccae5 pushed by buzden
September 4, 2023 12:51 1h 10m 31s macro-without-extension
macro-without-extension
September 4, 2023 12:51 1h 10m 31s
[ elab ] Make %macro-function be callable without the extension Sphinx #359: Commit 50ccae5 pushed by buzden
September 4, 2023 12:51 48s macro-without-extension
macro-without-extension
September 4, 2023 12:51 48s
[ elab ] Make %macro-function be callable without the extension Lint Code Base #457: Commit 50ccae5 pushed by buzden
September 4, 2023 12:51 3m 15s macro-without-extension
macro-without-extension
September 4, 2023 12:51 3m 15s
[ elab ] Make %macro-function be callable without the extension Lint the sources #459: Commit 50ccae5 pushed by buzden
September 4, 2023 12:51 15s macro-without-extension
macro-without-extension
September 4, 2023 12:51 15s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Sphinx #358: Commit 85c2acb pushed by buzden
September 4, 2023 12:48 36s memo-lazy
memo-lazy
September 4, 2023 12:48 36s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Idris2 #347: Commit 85c2acb pushed by buzden
September 4, 2023 12:48 1h 12m 43s memo-lazy
memo-lazy
September 4, 2023 12:48 1h 12m 43s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Lint the sources #458: Commit 85c2acb pushed by buzden
September 4, 2023 12:48 15s memo-lazy
memo-lazy
September 4, 2023 12:48 15s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Lint Code Base #456: Commit 85c2acb pushed by buzden
September 4, 2023 12:48 2m 48s memo-lazy
memo-lazy
September 4, 2023 12:48 2m 48s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Idris2 #346: Commit b1c9866 pushed by buzden
August 28, 2023 14:29 1h 29m 58s memo-lazy
memo-lazy
August 28, 2023 14:29 1h 29m 58s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Lint the sources #457: Commit b1c9866 pushed by buzden
August 28, 2023 14:29 18s memo-lazy
memo-lazy
August 28, 2023 14:29 18s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Sphinx #357: Commit b1c9866 pushed by buzden
August 28, 2023 14:29 46s memo-lazy
memo-lazy
August 28, 2023 14:29 46s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.