Skip to content

Actions: dizzyryan/CUHK-CS-Notes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
finish lec7, add ex to lec4 Sync PDFs to Website #25: Commit 7e64747 pushed by dizzyryan
13s main
main
13s
Refactor language definitions in ListStyle.tex for improved clarity a… Sync PDFs to Website #24: Commit dafce6e pushed by dizzyryan
19s main
main
19s
finish lec6, 7 Sync PDFs to Website #23: Commit fcec16f pushed by dizzyryan
11s main
main
11s
finish lec4, 5 Sync PDFs to Website #22: Commit f5a24c1 pushed by dizzyryan
13s main
main
13s
Fix formatting of inference rules in lecture notes for clarity Sync PDFs to Website #21: Commit 2493ec5 pushed by dizzyryan
15s main
main
15s
Add default deny option to web authentication section in lec_10 Sync PDFs to Website #20: Commit 41f8d97 pushed by dizzyryan
13s main
main
13s
Refactor lecture notes on formal proof systems and semantics Sync PDFs to Website #19: Commit 7581e53 pushed by dizzyryan
9s main
main
9s
finish lec4 Sync PDFs to Website #18: Commit 91d8aaa pushed by dizzyryan
10s main
main
10s
add tree Sync PDFs to Website #17: Commit 7fd18ee pushed by dizzyryan
9s main
main
9s
finish csci4130 Sync PDFs to Website #16: Commit 1f8d678 pushed by dizzyryan
16s main
main
16s
refactor lec_15.tex to streamline DNS hierarchy explanation Sync PDFs to Website #15: Commit 4250cdb pushed by dizzyryan
19s main
main
19s
csci4130 finished Sync PDFs to Website #14: Commit c171fed pushed by dizzyryan
16s main
main
16s
rm lec17 Sync PDFs to Website #13: Commit 2e54e3e pushed by dizzyryan
14s main
main
14s
finish lec15 Sync PDFs to Website #12: Commit dbad483 pushed by dizzyryan
15s main
main
15s
finish lec14 Sync PDFs to Website #11: Commit 90be358 pushed by dizzyryan
14s main
main
14s
add rodCuttingDPG.tex and corresponding PDF figure Sync PDFs to Website #10: Commit 7a24bb8 pushed by dizzyryan
14s main
main
14s
finish lec13 Sync PDFs to Website #9: Commit 9237b3d pushed by dizzyryan
15s main
main
15s
finish lec12 Sync PDFs to Website #8: Commit cf24026 pushed by dizzyryan
14s main
main
14s
update lec11 syntax error Sync PDFs to Website #7: Commit 46a67ed pushed by dizzyryan
14s main
main
14s
finish lec11, update main Sync PDFs to Website #6: Commit 6b5914c pushed by dizzyryan
10s main
main
10s
finish lec10 Sync PDFs to Website #5: Commit fecf4f2 pushed by dizzyryan
12s main
main
12s
test workflow Sync PDFs to Website #4: Commit fee52f9 pushed by dizzyryan
14s main
main
14s
Merge branch 'main' of https://github.com/dizzyryan/CUHK-CS-Notes Sync PDFs to Website #3: Commit 5696a64 pushed by dizzyryan
12s main
main
12s
Comment out automated message in sync workflow Sync PDFs to Website #2: Commit 91fe282 pushed by dizzyryan
Failure main
main
Failure
ci: add PDF sync to website workflow Sync PDFs to Website #1: Commit e9e6a33 pushed by dizzyryan
Failure main
main
Failure