Skip to content

Actions: SmaniaD/BesovSpacesGoodGrid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 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
update documentation Lean build #203: Commit 182e386 pushed by SmaniaD
19m 9s main
main
19m 9s
include LeftComposition.lean Lean build #202: Commit 4bb26b0 pushed by SmaniaD
19m 24s main
main
19m 24s
update readme.md Lean build #201: Commit 83f6cf3 pushed by SmaniaD
19m 6s main
main
19m 6s
Merge branch 'main' of https://github.com/SmaniaD/BesovSpacesGoodGrid Lean build #200: Commit 6082664 pushed by SmaniaD
18m 45s main
main
18m 45s
leftcomposition added Lean build #199: Commit 08fab58 pushed by SmaniaD
19m 30s main
main
19m 30s
update Lean build #198: Commit 9a0326c pushed by SmaniaD
19m 41s main
main
19m 41s
Delete todo.md Lean build #197: Commit 3c08609 pushed by SmaniaD
19m 1s main
main
19m 1s
updated main . Removed tempted nor-achimedean for regular domains Lean build #196: Commit cd35a82 pushed by SmaniaD
19m 2s main
main
19m 2s
Merge pull request #3 from SmaniaD/diracaproximations Lean build #195: Commit 4dedd0b pushed by SmaniaD
20m 6s main
main
20m 6s
Diracaproximations Lean build #194: Pull request #3 opened by SmaniaD
19m 5s diracaproximations
diracaproximations
19m 5s
proof.tex Lean build #193: Commit 498b331 pushed by SmaniaD
19m 19s diracaproximations
diracaproximations
19m 19s
proof.tex updated Lean build #192: Commit 4978fb9 pushed by SmaniaD
18m 40s diracaproximations
diracaproximations
18m 40s
update Lean build #191: Commit 9541c18 pushed by SmaniaD
23m 42s diracaproximations
diracaproximations
23m 42s
update nonachimedean proper, indlude futureplan.md Lean build #190: Commit 6ed8b03 pushed by SmaniaD
19m 17s diracaproximations
diracaproximations
19m 17s
update Lean build #189: Commit f469540 pushed by SmaniaD
19m 31s diracaproximations
diracaproximations
19m 31s
updated Lean build #188: Commit acc2b8b pushed by SmaniaD
19m 56s diracaproximations
diracaproximations
19m 56s
update Lean build #187: Commit be9d116 pushed by SmaniaD
19m 46s diracaproximations
diracaproximations
19m 46s
update regular domains Lean build #186: Commit a488ba2 pushed by SmaniaD
19m 26s diracaproximations
diracaproximations
19m 26s
update regular domains Lean build #185: Commit 9572907 pushed by SmaniaD
19m 15s diracaproximations
diracaproximations
19m 15s
regular domains Lean build #184: Commit 858fb61 pushed by SmaniaD
20m 22s diracaproximations
diracaproximations
20m 22s
Merge pull request #2 from SmaniaD/diracaproximations Lean build #183: Commit b84b722 pushed by SmaniaD
18m 42s main
main
18m 42s
Diracaproximations Lean build #182: Pull request #2 opened by SmaniaD
15m 36s diracaproximations
diracaproximations
15m 36s
updated documentarion Lean build #181: Commit 9a40d57 pushed by SmaniaD
18m 30s diracaproximations
diracaproximations
18m 30s
QuasiAlgebra completed Lean build #180: Commit c56835e pushed by SmaniaD
19m 12s diracaproximations
diracaproximations
19m 12s
update documentation Lean build #179: Commit deb7a29 pushed by SmaniaD
19m 1s diracaproximations
diracaproximations
19m 1s