Skip to content

Actions: idris-community/idris2-tutorial

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Correct a few typos, and tweak word choice, in Ch. 3. Lint #24: Pull request #10 opened by sp1ff
1m 9s sp1ff:ch-3-tweaks
sp1ff:ch-3-tweaks
1m 9s
Correcting data model part 1 Lint #20: Commit 7fdcefd pushed by nmccarty
1m 11s preprocessor
preprocessor
1m 11s
oops Lint #19: Commit f0b1923 pushed by nmccarty
1m 9s preprocessor
preprocessor
1m 9s
Initial pass at modeling mdBook's Book Lint #18: Commit 56c1d19 pushed by nmccarty
1m 6s preprocessor
preprocessor
1m 6s
Tweak mdBook settings Lint #17: Commit 10cba52 pushed by nmccarty
1m 6s main
main
1m 6s
Edit chapter 3 Lint #16: Commit 3debf74 pushed by nmccarty
1m 24s main
main
1m 24s
Filter out nonbreaking spaces from katla Lint #15: Commit 8cddac9 pushed by nmccarty
1m 10s main
main
1m 10s
Add --skip-katla flag to build-book Lint #14: Commit aff3018 pushed by nmccarty
1m 11s main
main
1m 11s
Update todo list Lint #13: Commit f28eb90 pushed by nmccarty
1m 6s main
main
1m 6s
Add mdbook-alerts to dockerfile Lint #12: Commit fb1dd6d pushed by nmccarty
1m 6s main
main
1m 6s
Edit Chapter 2 Lint #11: Commit a89a119 pushed by nmccarty
1m 18s main
main
1m 18s
Edit Chapter 1 Lint #10: Commit 189717f pushed by nmccarty
1m 21s main
main
1m 21s
Correct the filename of hello world example Lint #9: Pull request #1 opened by gemmaro
1m 12s gemmaro:fix/hello-world-src
gemmaro:fix/hello-world-src
1m 12s
Include Exercise Solutions Lint #8: Commit da3d064 pushed by nmccarty
1m 6s main
main
1m 6s
Factor Chapter 14 Into Subchapters Lint #7: Commit 19d9856 pushed by nmccarty
1m 20s main
main
1m 20s
Factor Chapter 6 Into Subchapters Lint #6: Commit 6390256 pushed by nmccarty
1m 21s main
main
1m 21s
Mention mdformat in readme Lint #5: Commit 0c24677 pushed by nmccarty
1m 20s main
main
1m 20s
Factor Chapter 3 into Subchapters Lint #4: Commit fec9194 pushed by nmccarty
1m 26s main
main
1m 26s
Add dockerfile and build Lint #3: Commit 1edd677 pushed by nmccarty
1m 17s main
main
1m 17s
Update Copyright Notice Lint #2: Commit cba6b45 pushed by nmccarty
1m 16s main
main
1m 16s
TODOS update Lint #1: Commit 6a7aca6 pushed by nmccarty
1m 7s main
main
1m 7s