Skip to content

Actions: teorth/estimates

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 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: correct AM-GM geometric mean in README CI #41: Pull request #31 synchronize by Chessing234
45s Chessing234:fix/readme-amgm-geometric-mean
Chessing234:fix/readme-amgm-geometric-mean
45s
fix: correct Linarith/LogLinarith docs kwargs CI #40: Pull request #32 synchronize by Chessing234
44s Chessing234:fix/linarith-docs-true-split-max
Chessing234:fix/linarith-docs-true-split-max
44s
fix: stop SimpAll(repeat=True) from looping forever CI #39: Pull request #33 synchronize by Chessing234
54s Chessing234:fix/simpall-repeat-infinite-loop
Chessing234:fix/simpall-repeat-infinite-loop
54s
fix: LogLinarith GreaterThan direction CI #38: Pull request #34 synchronize by Chessing234
55s Chessing234:fix/loglinarith-greaterthan-direction
Chessing234:fix/loglinarith-greaterthan-direction
55s
fix: LogLinarith Ne disjunct nesting CI #37: Pull request #35 synchronize by Chessing234
54s Chessing234:fix/loglinarith-ne-nested-list
Chessing234:fix/loglinarith-ne-nested-list
54s
fix: SubstAll no-effect detection CI #36: Pull request #36 synchronize by Chessing234
44s Chessing234:fix/substall-eq-check
Chessing234:fix/substall-eq-check
44s
fix: allow Theta on Abs when positivity unknown CI #35: Pull request #37 synchronize by Chessing234
45s Chessing234:fix/theta-abs-nonnegative
Chessing234:fix/theta-abs-nonnegative
45s
fix: interpolate proofassistant navigation messages CI #34: Pull request #38 synchronize by Chessing234
49s Chessing234:fix/proofassistant-fstrings
Chessing234:fix/proofassistant-fstrings
49s
fix: typeof(var) in type-tactic inconsistency errors CI #33: Pull request #39 synchronize by Chessing234
56s Chessing234:fix/typeof-inconsistency-messages
Chessing234:fix/typeof-inconsistency-messages
56s
fix: split Eq when Max/Min is on the left CI #32: Pull request #40 synchronize by Chessing234
50s Chessing234:fix/eq-maxmin-lhs-conjuncts
Chessing234:fix/eq-maxmin-lhs-conjuncts
50s
fix: avoid shared mutable default hypothesis sets CI #31: Pull request #41 synchronize by Chessing234
47s Chessing234:fix/mutable-default-hypotheses
Chessing234:fix/mutable-default-hypotheses
47s
fix: annotate min_objects as returning a set CI #30: Pull request #42 synchronize by Chessing234
45s Chessing234:fix/min-objects-return-type
Chessing234:fix/min-objects-return-type
45s
fix: stop asymp from becoming True on failed Theta CI #29: Pull request #43 synchronize by Chessing234
42s Chessing234:fix/asymp-undefined-tautology
Chessing234:fix/asymp-undefined-tautology
42s
fix: drop stray paren in ApplyTheta string form CI #28: Pull request #44 synchronize by Chessing234
49s Chessing234:fix/apply-theta-stray-paren
Chessing234:fix/apply-theta-stray-paren
49s
fix: require ByCases statements to be defined CI #27: Pull request #45 synchronize by Chessing234
49s Chessing234:fix/bycases-is-defined
Chessing234:fix/bycases-is-defined
49s
fix: Z3 counterexample check and impossible_example spelling CI #26: Pull request #46 synchronize by Chessing234
46s Chessing234:fix/linprog-z3-counterexample-eq
Chessing234:fix/linprog-z3-counterexample-eq
46s
fix: ProofTree tactic guard, exact bracket/sqrt, linprog docs CI #25: Pull request #47 synchronize by Chessing234
49s Chessing234:fix/prooftree-bracket-linprog-docs
Chessing234:fix/prooftree-bracket-linprog-docs
49s
fix: correct Type docstring and accepted-types quoting CI #24: Pull request #48 synchronize by Chessing234
43s Chessing234:fix/basic-docstring-typos
Chessing234:fix/basic-docstring-typos
43s
fix: correct Type docstring and accepted-types quoting CI #23: Pull request #48 opened by Chessing234
52s Chessing234:fix/basic-docstring-typos
Chessing234:fix/basic-docstring-typos
52s
fix: ProofTree tactic guard, exact bracket/sqrt, linprog docs CI #22: Pull request #47 opened by Chessing234
42s Chessing234:fix/prooftree-bracket-linprog-docs
Chessing234:fix/prooftree-bracket-linprog-docs
42s
fix: Z3 counterexample check and impossible_example spelling CI #21: Pull request #46 opened by Chessing234
49s Chessing234:fix/linprog-z3-counterexample-eq
Chessing234:fix/linprog-z3-counterexample-eq
49s
fix: require ByCases statements to be defined CI #20: Pull request #45 opened by Chessing234
42s Chessing234:fix/bycases-is-defined
Chessing234:fix/bycases-is-defined
42s
fix: drop stray paren in ApplyTheta string form CI #19: Pull request #44 opened by Chessing234
44s Chessing234:fix/apply-theta-stray-paren
Chessing234:fix/apply-theta-stray-paren
44s
fix: stop asymp from becoming True on failed Theta CI #18: Pull request #43 opened by Chessing234
44s Chessing234:fix/asymp-undefined-tautology
Chessing234:fix/asymp-undefined-tautology
44s
fix: annotate min_objects as returning a set CI #17: Pull request #42 opened by Chessing234
47s Chessing234:fix/min-objects-return-type
Chessing234:fix/min-objects-return-type
47s