Skip to content

Actions: oxe-i/lean

Actions

shellcheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shellcheck.yml
101 workflow runs
101 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
add pascals-triangle (#181) shellcheck #101: Commit 0b72c98 pushed by oxe-i
9s main
main
9s
add resistor-color-duo exercise (#180) shellcheck #100: Commit ace4138 pushed by oxe-i
7s main
main
7s
Add variable-length-quantity exercise (#179) shellcheck #99: Commit 9a7636b pushed by oxe-i
7s main
main
7s
fix reverse-list (#178) shellcheck #98: Commit 86724b7 pushed by oxe-i
11s main
main
11s
set reverse-list to wip (#177) shellcheck #97: Commit 572fb57 pushed by oxe-i
7s main
main
7s
add custom exercise reverse-list (#176) shellcheck #96: Commit e625c3f pushed by oxe-i
7s main
main
7s
change ! to * in resistor-color syntax (#174) shellcheck #95: Commit 05256cb pushed by oxe-i
8s main
main
8s
add resistor-color exercise (#173) shellcheck #94: Commit b7a424c pushed by oxe-i
8s main
main
8s
add strain exercise (#172) shellcheck #93: Commit 8fe0800 pushed by oxe-i
7s main
main
7s
bump Lean version to 4.29.0, the current stable version (#171) shellcheck #92: Commit 2cd38cf pushed by oxe-i
10s main
main
10s
add nucleotide-count (#170) shellcheck #91: Commit 8aa10af pushed by oxe-i
9s main
main
9s
Misc revision (#169) [no important files changed] shellcheck #90: Commit f739229 pushed by oxe-i
8s main
main
8s
Add hangman (#168) shellcheck #89: Commit 3ef79ce pushed by oxe-i
7s main
main
7s
Bump actions/cache from 5.0.3 to 5.0.4 (#167) shellcheck #88: Commit fe85209 pushed by oxe-i
8s main
main
8s
Add queen-attack exercise (#166) shellcheck #87: Commit 1f22d49 pushed by oxe-i
10s main
main
10s
Rename bin/reorder-exercises to bin/sort-exercises (#165) shellcheck #86: Commit abb7236 pushed by oxe-i
8s main
main
8s
Adjust docs (#164) shellcheck #85: Commit 08d7ef5 pushed by oxe-i
7s main
main
7s
Convenience script to launch generator (#163) shellcheck #84: Commit 37fb310 pushed by oxe-i
10s main
main
10s
add approaches and article to difference-of-squares (#160) shellcheck #83: Commit 355576e pushed by oxe-i
10s main
main
10s
Adjust appends (#159) shellcheck #82: Commit 615ce71 pushed by oxe-i
7s main
main
7s
update CONTRIBUTING.md, add doc for the generator (#153) shellcheck #81: Commit f8df0ce pushed by oxe-i
19s main
main
19s
Add kindergarten-garden (#152) shellcheck #80: Commit a29e182 pushed by oxe-i
15s main
main
15s
add custom-set (#151) shellcheck #79: Commit d7960a8 pushed by oxe-i
8s main
main
8s
launch track (#150) shellcheck #78: Commit 66d0a5a pushed by oxe-i
8s main
main
8s
various changes to the docs (#149) shellcheck #77: Commit f1ae62f pushed by oxe-i
7s main
main
7s