Skip to content

Actions: zayn7lie/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
24 workflow runs
24 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
upd: subst sandwich with reflTransGen_mono_closed Build and Deploy Documentation #24: Commit a1232e7 pushed by zayn7lie
1s main
main
1s
fix: remove whitespace Build and Deploy Documentation #23: Commit 9f7a2d4 pushed by zayn7lie
10s main
main
10s
fix: ParStar definition Build and Deploy Documentation #22: Commit fd90475 pushed by zayn7lie
2s main
main
2s
upd: final Build and Deploy Documentation #21: Commit 54cd173 pushed by zayn7lie
1s main
main
1s
upd: Relation after split, sandwich_to_eq Build and Deploy Documentation #20: Commit 8715e8a pushed by zayn7lie
1s main
main
1s
upd: debruijn def - dosctring Build and Deploy Documentation #19: Commit c94b1de pushed by zayn7lie
9s main
main
9s
upd: debruijn def - dosctring Build and Deploy Documentation #18: Commit 36bd442 pushed by zayn7lie
1s main
main
1s
upd: debruijn def - dosctring Build and Deploy Documentation #17: Commit d55892d pushed by zayn7lie
1s main
main
1s
fix: debruijn - where Build and Deploy Documentation #16: Commit 362f0b5 pushed by zayn7lie
2s main
main
2s
fix: debruijn - where Build and Deploy Documentation #15: Commit ed88f4d pushed by zayn7lie
2s main
main
2s
upd: betareduction Build and Deploy Documentation #14: Commit e123ae1 pushed by zayn7lie
1s main
main
1s
upd: typo Build and Deploy Documentation #13: Commit dac794a pushed by zayn7lie
1s main
main
1s
upd: betareduction - proof simp Build and Deploy Documentation #12: Commit 0d7928a pushed by zayn7lie
1s main
main
1s
upd: \@\[expose\] public section Build and Deploy Documentation #11: Commit 437d801 pushed by zayn7lie
1s main
main
1s
upd: open term redundent Build and Deploy Documentation #10: Commit 1b9eba8 pushed by zayn7lie
1s main
main
1s
fix: namespace Build and Deploy Documentation #9: Commit 01049fc pushed by zayn7lie
2s main
main
2s
upd: xyntax - incre_rfl - proof Build and Deploy Documentation #8: Commit 7ce6832 pushed by zayn7lie
1s main
main
1s
upd: syntax - Term - docstring Build and Deploy Documentation #7: Commit 088c042 pushed by zayn7lie
2s main
main
2s
upd: syntax - sub - specify type Build and Deploy Documentation #6: Commit ac6e547 pushed by zayn7lie
1s main
main
1s
fix: syntax - disambiuity Build and Deploy Documentation #5: Commit f10bc4b pushed by zayn7lie
1s main
main
1s
fix: par_subst - lt_trichotomy Build and Deploy Documentation #4: Commit 227f618 pushed by zayn7lie
2s main
main
2s
fix: sandwich Build and Deploy Documentation #3: Commit ef3c7eb pushed by zayn7lie
2s main
main
2s
fix: notation typeclass for substitution Build and Deploy Documentation #2: Commit cd4b371 pushed by zayn7lie
2s main
main
2s
fix: notation typeclass for substitution Build and Deploy Documentation #1: Commit 91db832 pushed by zayn7lie
1s main
main
1s