Skip to content

Actions: oxe-i/lean

Actions

Configlet

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
configlet.yml
106 workflow runs
106 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
regenerate lakefile (#188) Configlet #106: Commit bba8879 pushed by oxe-i
12s main
main
12s
Add resistor-color-trio exercise (#187) Configlet #105: Commit b090e36 pushed by oxe-i
12s main
main
12s
fix name, grammar revision, extra case (#186) Configlet #104: Commit ac3af1c pushed by oxe-i
12s main
main
12s
configlet workflow checks format (#185) Configlet #103: Commit 21f6409 pushed by oxe-i
11s main
main
11s
Add alphametics exercise (#183) Configlet #102: Commit 48d95d5 pushed by oxe-i
14s main
main
14s
add pascals-triangle (#181) Configlet #101: Commit 0b72c98 pushed by oxe-i
10s main
main
10s
add resistor-color-duo exercise (#180) Configlet #100: Commit ace4138 pushed by oxe-i
8s main
main
8s
Add variable-length-quantity exercise (#179) Configlet #99: Commit 9a7636b pushed by oxe-i
14s main
main
14s
fix reverse-list (#178) Configlet #98: Commit 86724b7 pushed by oxe-i
9s main
main
9s
set reverse-list to wip (#177) Configlet #97: Commit 572fb57 pushed by oxe-i
7s main
main
7s
add custom exercise reverse-list (#176) Configlet #96: Commit e625c3f pushed by oxe-i
13s main
main
13s
change ! to * in resistor-color syntax (#174) Configlet #95: Commit 05256cb pushed by oxe-i
11s main
main
11s
add resistor-color exercise (#173) Configlet #94: Commit b7a424c pushed by oxe-i
11s main
main
11s
add strain exercise (#172) Configlet #93: Commit 8fe0800 pushed by oxe-i
11s main
main
11s
bump Lean version to 4.29.0, the current stable version (#171) Configlet #92: Commit 2cd38cf pushed by oxe-i
11s main
main
11s
add nucleotide-count (#170) Configlet #91: Commit 8aa10af pushed by oxe-i
15s main
main
15s
Misc revision (#169) [no important files changed] Configlet #90: Commit f739229 pushed by oxe-i
7s main
main
7s
Add hangman (#168) Configlet #89: Commit 3ef79ce pushed by oxe-i
8s main
main
8s
Bump actions/cache from 5.0.3 to 5.0.4 (#167) Configlet #88: Commit fe85209 pushed by oxe-i
17s main
main
17s
Add queen-attack exercise (#166) Configlet #87: Commit 1f22d49 pushed by oxe-i
8s main
main
8s
Rename bin/reorder-exercises to bin/sort-exercises (#165) Configlet #86: Commit abb7236 pushed by oxe-i
9s main
main
9s
Adjust docs (#164) Configlet #85: Commit 08d7ef5 pushed by oxe-i
8s main
main
8s
Convenience script to launch generator (#163) Configlet #84: Commit 37fb310 pushed by oxe-i
10s main
main
10s
add approaches and article to difference-of-squares (#160) Configlet #83: Commit 355576e pushed by oxe-i
11s main
main
11s
Adjust appends (#159) Configlet #82: Commit 615ce71 pushed by oxe-i
11s main
main
11s