Skip to content

Actions: oxe-i/lean

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

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