Skip to content

Actions: Mukundks2004/BetweenBooks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
fix (#31) Build and Deploy #35: Commit b6c44e5 pushed by Mukundks2004
42s main
main
42s
Add monad article (#30) Build and Deploy #34: Commit bfff824 pushed by Mukundks2004
39s main
main
39s
Add new variance article (#29) Build and Deploy #33: Commit fe96e47 pushed by Mukundks2004
59s main
main
59s
Add Type Theory III (#28) Build and Deploy #32: Commit 3ddb8d4 pushed by Mukundks2004
56s main
main
56s
add nostalgia article (#27) Build and Deploy #31: Commit 4fa2cf7 pushed by Mukundks2004
55s main
main
55s
Add Outsourcing Code Article (#26) Build and Deploy #30: Commit 5a733d1 pushed by Mukundks2004
43s main
main
43s
add the idea cadetship article (#25) Build and Deploy #29: Commit 05a9912 pushed by Mukundks2004
59s main
main
59s
added favicons Build and Deploy #28: Commit 555996d pushed by Mukundks2004
43s main
main
43s
tine edits Build and Deploy #27: Commit e40fd8a pushed by Mukundks2004
31s main
main
31s
removed robots (#22) Build and Deploy #26: Commit eaee113 pushed by Mukundks2004
42s main
main
42s
edits (#21) Build and Deploy #25: Commit a5ef88b pushed by Mukundks2004
45s main
main
45s
Add Proving commutativity from first principles (#20) Build and Deploy #24: Commit bbb0d35 pushed by Mukundks2004
41s main
main
41s
Add Intro Type Theory (#19) Build and Deploy #23: Commit ed237bf pushed by Mukundks2004
1m 5s main
main
1m 5s
fixed typos, changed american spelling to british Build and Deploy #22: Commit 393ec34 pushed by Mukundks2004
43s main
main
43s
Merge branch 'main' of github.com:Mukundks2004/BetweenBooks Build and Deploy #21: Commit 9449656 pushed by Mukundks2004
1m 10s main
main
1m 10s
Deploy normativity (#15) Build and Deploy #20: Commit 8bd02ad pushed by Mukundks2004
54s deployment
deployment
54s
remove bad link in md Build and Deploy #19: Commit 25d246c pushed by Mukundks2004
36s deployment
deployment
36s
Deploy articles Build and Deploy #18: Commit ad030bd pushed by Mukundks2004
42s deployment
deployment
42s