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 ] Change the rig to 1 Lint Code Base #448: Commit 89e1a40 pushed by buzden
August 13, 2023 13:48 2m 23s fix-rig-for-runelab-expr--experim4
fix-rig-for-runelab-expr--experim4
August 13, 2023 13:48 2m 23s
[ experim ] Change the rig to 1 Idris2 #339: Commit 89e1a40 pushed by buzden
August 13, 2023 13:48 16m 29s fix-rig-for-runelab-expr--experim4
fix-rig-for-runelab-expr--experim4
August 13, 2023 13:48 16m 29s
[ experim ] Change the rig to 1 Sphinx #350: Commit 89e1a40 pushed by buzden
August 13, 2023 13:48 31s fix-rig-for-runelab-expr--experim4
fix-rig-for-runelab-expr--experim4
August 13, 2023 13:48 31s
[ experim ] Change the rig to 1 Lint the sources #450: Commit 89e1a40 pushed by buzden
August 13, 2023 13:48 12s fix-rig-for-runelab-expr--experim4
fix-rig-for-runelab-expr--experim4
August 13, 2023 13:48 12s
[ experim ] Change bot to top, expect passing Lint Code Base #447: Commit e095ea2 pushed by buzden
August 13, 2023 13:46 2m 5s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 13, 2023 13:46 2m 5s
[ experim ] Change bot to top, expect passing Lint the sources #449: Commit e095ea2 pushed by buzden
August 13, 2023 13:46 12s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 13, 2023 13:46 12s
[ experim ] Change bot to top, expect passing Idris2 #338: Commit e095ea2 pushed by buzden
August 13, 2023 13:46 1h 9m 51s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 13, 2023 13:46 1h 9m 51s
[ experim ] Change bot to top, expect passing Sphinx #349: Commit e095ea2 pushed by buzden
August 13, 2023 13:46 29s fix-rig-for-runelab-expr--experim
fix-rig-for-runelab-expr--experim
August 13, 2023 13:46 29s
[ ttc ] Relax existing second-precision time requirements Sphinx #348: Commit ba4b69b pushed by buzden
August 12, 2023 08:04 36s treat-same-time-as-okay
treat-same-time-as-okay
August 12, 2023 08:04 36s
[ ttc ] Relax existing second-precision time requirements Idris2 #337: Commit ba4b69b pushed by buzden
August 12, 2023 08:04 1h 11m 56s treat-same-time-as-okay
treat-same-time-as-okay
August 12, 2023 08:04 1h 11m 56s
[ ttc ] Relax existing second-precision time requirements Lint the sources #448: Commit ba4b69b pushed by buzden
August 12, 2023 08:04 20s treat-same-time-as-okay
treat-same-time-as-okay
August 12, 2023 08:04 20s
[ ttc ] Relax existing second-precision time requirements Lint Code Base #446: Commit ba4b69b pushed by buzden
August 12, 2023 08:04 2m 15s treat-same-time-as-okay
treat-same-time-as-okay
August 12, 2023 08:04 2m 15s
[ experim ] Add all imported to the nested namespaces Lint the sources #447: Commit 9aa2402 pushed by buzden
August 10, 2023 15:14 12s fix-rig-for-runelab-expr--experim2
fix-rig-for-runelab-expr--experim2
August 10, 2023 15:14 12s
[ experim ] Add all imported to the nested namespaces Lint Code Base #445: Commit 9aa2402 pushed by buzden
August 10, 2023 15:14 2m 12s fix-rig-for-runelab-expr--experim2
fix-rig-for-runelab-expr--experim2
August 10, 2023 15:14 2m 12s
[ experim ] Add all imported to the nested namespaces Sphinx #347: Commit 9aa2402 pushed by buzden
August 10, 2023 15:14 39s fix-rig-for-runelab-expr--experim2
fix-rig-for-runelab-expr--experim2
August 10, 2023 15:14 39s
[ experim ] Add all imported to the nested namespaces Idris2 #336: Commit 9aa2402 pushed by buzden
August 10, 2023 15:14 1h 23m 36s fix-rig-for-runelab-expr--experim2
fix-rig-for-runelab-expr--experim2
August 10, 2023 15:14 1h 23m 36s
[ experim ] Use old approach and additional elab option Lint Code Base #444: Commit e11e65f pushed by buzden
August 10, 2023 15:04 2m 8s fix-rig-for-runelab-expr--experim3
fix-rig-for-runelab-expr--experim3
August 10, 2023 15:04 2m 8s
[ experim ] Use old approach and additional elab option Idris2 #335: Commit e11e65f pushed by buzden
August 10, 2023 15:04 1h 20m 10s fix-rig-for-runelab-expr--experim3
fix-rig-for-runelab-expr--experim3
August 10, 2023 15:04 1h 20m 10s
[ experim ] Use old approach and additional elab option Lint the sources #446: Commit e11e65f pushed by buzden
August 10, 2023 15:04 14s fix-rig-for-runelab-expr--experim3
fix-rig-for-runelab-expr--experim3
August 10, 2023 15:04 14s
[ experim ] Use old approach and additional elab option Sphinx #346: Commit e11e65f pushed by buzden
August 10, 2023 15:04 38s fix-rig-for-runelab-expr--experim3
fix-rig-for-runelab-expr--experim3
August 10, 2023 15:04 38s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Idris2 #334: Commit 9cc8a6c pushed by buzden
August 10, 2023 13:54 1h 44m 53s memo-lazy
memo-lazy
August 10, 2023 13:54 1h 44m 53s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Sphinx #345: Commit 9cc8a6c pushed by buzden
August 10, 2023 13:54 3m 17s memo-lazy
memo-lazy
August 10, 2023 13:54 3m 17s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Lint Code Base #443: Commit 9cc8a6c pushed by buzden
August 10, 2023 13:54 5m 30s memo-lazy
memo-lazy
August 10, 2023 13:54 5m 30s
[ fix ] Eliminate invalid memory reference (chez's GC bug?) Lint the sources #445: Commit 9cc8a6c pushed by buzden
August 10, 2023 13:54 3m 27s memo-lazy
memo-lazy
August 10, 2023 13:54 3m 27s
[ experim ] Do not restore the original nestedNS Lint Code Base #442: Commit 90c864e pushed by buzden
August 10, 2023 13:44 2m 11s fix-rig-for-runelab-expr--experim2
fix-rig-for-runelab-expr--experim2
August 10, 2023 13:44 2m 11s
ProTip! You can narrow down the results and go further in time using created:<2023-08-10 or the other filters available.