Skip to content

Actions: mjustus/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.yml
12 workflow runs
12 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[ test ] NatSets are pretty-printed in order Lint the sources #69: Commit d6439df pushed by mjustus
7s bitmasks
bitmasks
7s
[ test ] s are pretty-printed in order Lint the sources #68: Commit fda3358 pushed by mjustus
8s bitmasks
bitmasks
8s
[ fix ] drop was actually take Lint the sources #67: Commit 42084d2 pushed by mjustus
8s bitmasks
bitmasks
8s
[ refactor ] move clearDefs into relevant branch Lint the sources #66: Commit d7afaf7 pushed by mjustus
7s bitmasks
bitmasks
7s
[ 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 the sources #64: Commit 007b175 pushed by mjustus
8s fix-neutral
fix-neutral
8s
WIP delete me later Lint the sources #63: Commit 3578f70 pushed by mjustus
10s scoped-snoc-list-swap-review
scoped-snoc-list-swap-review
10s
WIP delete me later Lint the sources #62: Commit 1e320a8 pushed by mjustus
10s scoped-snoc-list-swap-review
scoped-snoc-list-swap-review
10s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Lint the sources #61: Commit c3a8909 pushed by mjustus
9s snoc-list-preparing-force-pushed
snoc-list-preparing-force-pushed
9s
WIP working through changes 3 Lint the sources #60: Commit 8b1ac8e pushed by mjustus
9s scoped-snoc-list-preparing-review
scoped-snoc-list-preparing-review
9s
WIP talking through changes 2 Lint the sources #59: Commit 1ddd7fd pushed by mjustus
9s scoped-snoc-list-preparing-review
scoped-snoc-list-preparing-review
9s
WIP talking through changes Lint the sources #58: Commit 440abb1 pushed by mjustus
19s scoped-snoc-list-preparing-review
scoped-snoc-list-preparing-review
19s