Skip to content

Actions: mjustus/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ test ] NatSets are pretty-printed in order Lint the sources #69: Commit d6439df pushed by mjustus
7s bitmasks
bitmasks
7s
[ test ] NatSets are pretty-printed in order Sphinx #69: Commit d6439df pushed by mjustus
1m 35s bitmasks
bitmasks
1m 35s
[ test ] NatSets are pretty-printed in order Idris2 and External Libs #24: Commit d6439df pushed by mjustus
39m 33s bitmasks
bitmasks
39m 33s
[ test ] NatSets are pretty-printed in order Lint Code Base #69: Commit d6439df pushed by mjustus
1m 37s bitmasks
bitmasks
1m 37s
[ test ] s are pretty-printed in order Lint Code Base #68: Commit fda3358 pushed by mjustus
1m 35s bitmasks
bitmasks
1m 35s
[ test ] s are pretty-printed in order Lint the sources #68: Commit fda3358 pushed by mjustus
8s bitmasks
bitmasks
8s
[ test ] s are pretty-printed in order Idris2 and External Libs #23: Commit fda3358 pushed by mjustus
2m 13s bitmasks
bitmasks
2m 13s
[ test ] s are pretty-printed in order Sphinx #68: Commit fda3358 pushed by mjustus
1m 21s bitmasks
bitmasks
1m 21s
[ fix ] drop was actually take Lint Code Base #67: Commit 42084d2 pushed by mjustus
1m 35s bitmasks
bitmasks
1m 35s
[ fix ] drop was actually take Sphinx #67: Commit 42084d2 pushed by mjustus
30s bitmasks
bitmasks
30s
[ fix ] drop was actually take Idris2 and External Libs #22: Commit 42084d2 pushed by mjustus
16m 26s bitmasks
bitmasks
16m 26s
[ fix ] drop was actually take Lint the sources #67: Commit 42084d2 pushed by mjustus
8s bitmasks
bitmasks
8s
[ refactor ] move clearDefs into relevant branch Idris2 and External Libs #21: Commit d7afaf7 pushed by mjustus
9m 10s bitmasks
bitmasks
9m 10s
[ refactor ] move clearDefs into relevant branch Lint Code Base #66: Commit d7afaf7 pushed by mjustus
1m 34s bitmasks
bitmasks
1m 34s
[ refactor ] move clearDefs into relevant branch Lint the sources #66: Commit d7afaf7 pushed by mjustus
7s bitmasks
bitmasks
7s
[ refactor ] move clearDefs into relevant branch Sphinx #66: Commit d7afaf7 pushed by mjustus
1m 32s bitmasks
bitmasks
1m 32s
[ refactor ] replace List Nats of argument positions by bit masks Sphinx #65: Commit 0836ecd pushed by mjustus
1m 45s bitmasks
bitmasks
1m 45s
[ refactor ] replace List Nats of argument positions by bit masks Lint Code Base #65: Commit 0836ecd pushed by mjustus
1m 41s bitmasks
bitmasks
1m 41s
[ refactor ] replace List Nats of argument positions by bit masks Idris2 and External Libs #20: Commit 0836ecd pushed by mjustus
13m 40s bitmasks
bitmasks
13m 40s
[ refactor ] replace List Nats of argument positions by bit masks Lint the sources #65: Commit 0836ecd pushed by mjustus
7s bitmasks
bitmasks
7s
[ fix ] mempty is called neutral Lint Code Base #64: Commit 007b175 pushed by mjustus
1m 35s fix-neutral
fix-neutral
1m 35s
[ fix ] mempty is called neutral Sphinx #64: Commit 007b175 pushed by mjustus
30s fix-neutral
fix-neutral
30s
[ fix ] mempty is called neutral Idris2 and External Libs #19: Commit 007b175 pushed by mjustus
42m 45s fix-neutral
fix-neutral
42m 45s
[ fix ] mempty is called neutral Lint the sources #64: Commit 007b175 pushed by mjustus
8s fix-neutral
fix-neutral
8s
WIP delete me later Idris2 and External Libs #18: Commit 3578f70 pushed by mjustus
8m 5s scoped-snoc-list-swap-review
scoped-snoc-list-swap-review
8m 5s