Skip to content

Actions: wsollers/lra-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
399 workflow runs
399 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
Commit pending LRA updates Lean Repository Documentation and GitHub Pages #190: Commit a54d823 pushed by wsollers
47m 55s main
main
47m 55s
Commit pending LRA updates Lean Docker Build and Check #188: Commit a54d823 pushed by wsollers
10m 37s main
main
10m 37s
Reorganize identity and topology modules Lean Docker Build and Check #187: Commit 035222f pushed by wsollers
13m 45s main
main
13m 45s
Reorganize identity and topology modules Lean Repository Documentation and GitHub Pages #189: Commit 035222f pushed by wsollers
1h 30m 48s main
main
1h 30m 48s
Split integration modules and prove ball neighborhood lemma Lean Docker Build and Check #186: Commit cc799cf pushed by wsollers
3m 26s main
main
3m 26s
Split integration modules and prove ball neighborhood lemma Lean Repository Documentation and GitHub Pages #188: Commit cc799cf pushed by wsollers
1h 22m 12s main
main
1h 22m 12s
Refine metric space foundations Lean Repository Documentation and GitHub Pages #187: Commit 9b0f2d7 pushed by wsollers
39m 39s main
main
39m 39s
Refine metric space foundations Lean Docker Build and Check #185: Commit 9b0f2d7 pushed by wsollers
6m 8s main
main
6m 8s
Add algebra model modules and translated bounds proofs Lean Repository Documentation and GitHub Pages #186: Commit e4559ea pushed by wsollers
1h 2m 58s main
main
1h 2m 58s
Add algebra model modules and translated bounds proofs Lean Docker Build and Check #184: Commit e4559ea pushed by wsollers
3m 50s main
main
3m 50s
bounds algebra Lean Repository Documentation and GitHub Pages #185: Commit 615dc8e pushed by wsollers
1h 19m 56s main
main
1h 19m 56s
bounds algebra Lean Docker Build and Check #183: Commit 615dc8e pushed by wsollers
4m 43s main
main
4m 43s
Upgrade Volume III theorem comments Lean Docker Build and Check #182: Commit 29c80ae pushed by wsollers
5m 35s main
main
5m 35s
Upgrade Volume III theorem comments Lean Repository Documentation and GitHub Pages #184: Commit 29c80ae pushed by wsollers
39m 15s main
main
39m 15s
Document Volume III theorem labels Lean Repository Documentation and GitHub Pages #183: Commit 3226928 pushed by wsollers
20m 7s main
main
20m 7s
Document Volume III theorem labels Lean Docker Build and Check #181: Commit 3226928 pushed by wsollers
3m 22s main
main
3m 22s
Prove universal difference law Lean Docker Build and Check #180: Commit f9810a2 pushed by wsollers
4m 38s main
main
4m 38s
Prove universal difference law Lean Repository Documentation and GitHub Pages #182: Commit f9810a2 pushed by wsollers
1h 3m 1s main
main
1h 3m 1s
Prove basic difference set laws Lean Docker Build and Check #179: Commit 1eaea35 pushed by wsollers
5m 39s main
main
5m 39s
Prove basic difference set laws Lean Repository Documentation and GitHub Pages #181: Commit 1eaea35 pushed by wsollers
5m 36s main
main
5m 36s
Document set operation theorem readings Lean Repository Documentation and GitHub Pages #180: Commit c8e601e pushed by wsollers
43m 13s main
main
43m 13s
Document set operation theorem readings Lean Docker Build and Check #178: Commit c8e601e pushed by wsollers
3m 40s main
main
3m 40s
Prove basic set complement and intersection laws Lean Repository Documentation and GitHub Pages #179: Commit 5e8407f pushed by wsollers
34m 15s main
main
34m 15s
Prove basic set complement and intersection laws Lean Docker Build and Check #177: Commit 5e8407f pushed by wsollers
13m 45s main
main
13m 45s
Add membership notation for set backends Lean Docker Build and Check #176: Commit eac7273 pushed by wsollers
16m 9s main
main
16m 9s