Skip to content

Actions: abhs21/neuraloperator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
Point leanchecker at audit modules TMLR Lean Audit #22: Commit b4ca859 pushed by abhs21
3m 16s tmlr-lean-audit
tmlr-lean-audit
3m 16s
Fix final exponential zero-count build goal TMLR Lean Audit #21: Commit 94ca603 pushed by abhs21
1m 59s tmlr-lean-audit
tmlr-lean-audit
1m 59s
Complete exponential-sum derivative proof TMLR Lean Audit #20: Commit 6028efc pushed by abhs21
1m 40s tmlr-lean-audit
tmlr-lean-audit
1m 40s
Persist theorem-audit dependencies even after failed builds TMLR Lean Audit #19: Commit 94bad01 pushed by abhs21
3m 15s tmlr-lean-audit
tmlr-lean-audit
3m 15s
Eliminate conversion instance goals in exponential proof TMLR Lean Audit #18: Commit 2819904 pushed by abhs21
43s tmlr-lean-audit
tmlr-lean-audit
43s
Persist Lean dependencies between audit builds TMLR Lean Audit #17: Commit 2f167ad pushed by abhs21
2m 39s tmlr-lean-audit
tmlr-lean-audit
2m 39s
Fix exponential-polynomial proof obligations TMLR Lean Audit #16: Commit d498b8b pushed by abhs21
33s tmlr-lean-audit
tmlr-lean-audit
33s
Cache Lean dependencies during theorem audit TMLR Lean Audit #15: Commit d5505c2 pushed by abhs21
2m 20s tmlr-lean-audit
tmlr-lean-audit
2m 20s
Complete Rolle induction for exponential sums TMLR Lean Audit #14: Commit e3775c7 pushed by abhs21
2m 7s tmlr-lean-audit
tmlr-lean-audit
2m 7s
Fix exponential-polynomial identifiers TMLR Lean Audit #13: Commit 2822220 pushed by abhs21
2m 19s tmlr-lean-audit
tmlr-lean-audit
2m 19s
Complete Jacobian entry factorization TMLR Lean Audit #12: Commit 61b5472 pushed by abhs21
43s tmlr-lean-audit
tmlr-lean-audit
43s
Fix Jacobian factorization proof TMLR Lean Audit #11: Commit 89a68e0 pushed by abhs21
2m 26s tmlr-lean-audit
tmlr-lean-audit
2m 26s
Fix Rolle finite-zero bound inference TMLR Lean Audit #10: Commit 334fa61 pushed by abhs21
36s tmlr-lean-audit
tmlr-lean-audit
36s
Include exponential zero bound in audit TMLR Lean Audit #9: Commit d33e5aa pushed by abhs21
3m 0s tmlr-lean-audit
tmlr-lean-audit
3m 0s
Formalize exponential-polynomial zero bound TMLR Lean Audit #8: Commit 098e57b pushed by abhs21
18s tmlr-lean-audit
tmlr-lean-audit
18s
Include Rolle core in theorem audit TMLR Lean Audit #7: Commit 3a63421 pushed by abhs21
1m 16s tmlr-lean-audit
tmlr-lean-audit
1m 16s
Add Rolle zero-set cardinality core TMLR Lean Audit #6: Commit dcd4061 pushed by abhs21
8s tmlr-lean-audit
tmlr-lean-audit
8s
Keep only latest theorem audit run TMLR Lean Audit #5: Commit 15aa259 pushed by abhs21
3m 12s tmlr-lean-audit
tmlr-lean-audit
3m 12s
Skip unrelated docs CI on audit branch Test neuralop #5: Commit 0410aad pushed by abhs21
24m 12s tmlr-lean-audit
tmlr-lean-audit
24m 12s
Fix moment-map compilation issues TMLR Lean Audit #4: Commit a5096f2 pushed by abhs21
11m 28s tmlr-lean-audit
tmlr-lean-audit
11m 28s
Fix moment-map compilation issues Build documentation #4: Commit a5096f2 pushed by abhs21
17m 29s tmlr-lean-audit
tmlr-lean-audit
17m 29s
Fix moment-map compilation issues Test neuralop #4: Commit a5096f2 pushed by abhs21
29m 38s tmlr-lean-audit
tmlr-lean-audit
29m 38s
Fix score core compilation TMLR Lean Audit #3: Commit 5e1fab9 pushed by abhs21
8m 37s tmlr-lean-audit
tmlr-lean-audit
8m 37s
Fix score core compilation Build documentation #3: Commit 5e1fab9 pushed by abhs21
16m 57s tmlr-lean-audit
tmlr-lean-audit
16m 57s
Fix score core compilation Test neuralop #3: Commit 5e1fab9 pushed by abhs21
14m 12s tmlr-lean-audit
tmlr-lean-audit
14m 12s