Skip to content

Actions: idris-community/idris2-tutorial

Actions

Publish Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-book.yml
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tweak mdBook settings Publish Book #16: Commit 10cba52 pushed by nmccarty
1m 42s main
main
1m 42s
Edit chapter 3 Publish Book #15: Commit 3debf74 pushed by nmccarty
1m 47s main
main
1m 47s
Filter out nonbreaking spaces from katla Publish Book #14: Commit 8cddac9 pushed by nmccarty
1m 49s main
main
1m 49s
Add --skip-katla flag to build-book Publish Book #13: Commit aff3018 pushed by nmccarty
1m 35s main
main
1m 35s
Update todo list Publish Book #12: Commit f28eb90 pushed by nmccarty
1m 50s main
main
1m 50s
Add mdbook-alerts to dockerfile Publish Book #11: Commit fb1dd6d pushed by nmccarty
1m 52s main
main
1m 52s
Edit Chapter 2 Publish Book #10: Commit a89a119 pushed by nmccarty
1m 51s main
main
1m 51s
Edit Chapter 1 Publish Book #9: Commit 189717f pushed by nmccarty
1m 49s main
main
1m 49s
Include Exercise Solutions Publish Book #8: Commit da3d064 pushed by nmccarty
1m 57s main
main
1m 57s
Factor Chapter 14 Into Subchapters Publish Book #7: Commit 19d9856 pushed by nmccarty
1m 54s main
main
1m 54s
Factor Chapter 6 Into Subchapters Publish Book #6: Commit 6390256 pushed by nmccarty
1m 51s main
main
1m 51s
Mention mdformat in readme Publish Book #5: Commit 0c24677 pushed by nmccarty
2m 1s main
main
2m 1s
Factor Chapter 3 into Subchapters Publish Book #4: Commit fec9194 pushed by nmccarty
3m 17s main
main
3m 17s
Add dockerfile and build Publish Book #3: Commit 1edd677 pushed by nmccarty
7m 2s main
main
7m 2s
Update Copyright Notice Publish Book #2: Commit cba6b45 pushed by nmccarty
5m 46s main
main
5m 46s
TODOS update Publish Book #1: Commit 6a7aca6 pushed by nmccarty
6m 18s main
main
6m 18s