Skip to content

Actions: motikaku/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from IshiguroYoshihiro/sorgenfrey .github/workflows/generate_docs.yml #71: Commit 3347076 pushed by motikaku
49m 13s sorgenfrey
sorgenfrey
49m 13s
simplify .github/workflows/generate_docs.yml #70: Commit d421352 pushed by garrigue
52m 55s sorgenfrey
sorgenfrey
52m 55s
continuous_at_sorgenfrey_to_Rtopo_at_rightP Nix CI for bundle master #13: Pull request #6 opened by IshiguroYoshihiro
22m 50s
22m 50s
continuous_at_sorgenfrey_to_Rtopo_at_rightP Nix CI for bundle 9.0 #10: Pull request #6 opened by IshiguroYoshihiro
42m 0s
42m 0s
continuous_at_sorgenfrey_to_Rtopo_at_rightP Nix CI for bundle 9.1 #2: Pull request #6 opened by IshiguroYoshihiro
37m 54s
37m 54s
continuous_at_sorgenfrey_to_Rtopo_at_rightP Nix CI for bundle 8.20-2.4.0 #2: Pull request #6 opened by IshiguroYoshihiro
20m 50s
20m 50s
continuous_at_...P an equivalence .github/workflows/generate_docs.yml #68: Commit 8a9d187 pushed by motikaku
41m 39s sorgenfrey
sorgenfrey
41m 39s
enable mathcomp 2.5.0 (#1751) Nix CI for bundle master #12: Commit 72c8678 pushed by motikaku
1h 0m 31s master
master
1h 0m 31s
enable mathcomp 2.5.0 (#1751) Nix CI for bundle 9.0 #9: Commit 72c8678 pushed by motikaku
9m 35s master
master
9m 35s
enable mathcomp 2.5.0 (#1751) Nix CI for bundle 9.1 #1: Commit 72c8678 pushed by motikaku
4m 40s master
master
4m 40s
enable mathcomp 2.5.0 (#1751) Nix CI for bundle 8.20-2.4.0 #1: Commit 72c8678 pushed by motikaku
10m 48s master
master
10m 48s
enable mathcomp 2.5.0 (#1751) .github/workflows/generate_docs.yml #67: Commit 72c8678 pushed by motikaku
40m 54s master
master
40m 54s
continuous_at_...P an equivalence .github/workflows/generate_docs.yml #66: Commit 9e33953 pushed by garrigue
38m 22s sorgenfrey
sorgenfrey
38m 22s
remove unused lemmas .github/workflows/generate_docs.yml #65: Commit f8b3f83 pushed by garrigue
40m 41s sorgenfrey
sorgenfrey
40m 41s
add the statement of the Vedenissoff theorem and prove it .github/workflows/generate_docs.yml #64: Commit 20eb36f pushed by garrigue
37m 43s sorgenfrey
sorgenfrey
37m 43s
add the statement of the Vedenissoff theorem and prove it .github/workflows/generate_docs.yml #63: Commit 4fc8ab6 pushed by t6s
26m 42s sorgenfrey
sorgenfrey
26m 42s
forgotten changes .github/workflows/generate_docs.yml #62: Commit aad32f3 pushed by garrigue
26m 4s sorgenfrey
sorgenfrey
26m 4s
forgotten changes .github/workflows/generate_docs.yml #61: Commit ce48842 pushed by garrigue
39m 28s sorgenfrey
sorgenfrey
39m 28s
Merge branch 'master' into sorgenfrey .github/workflows/generate_docs.yml #60: Commit 6254d1f pushed by affeldt-aist
37m 42s sorgenfrey
sorgenfrey
37m 42s
for the CI .github/workflows/generate_docs.yml #59: Commit 6ef0186 pushed by affeldt-aist
27m 18s sorgenfrey
sorgenfrey
27m 18s
for the CI .github/workflows/generate_docs.yml #58: Commit eb2d91c pushed by affeldt-aist
24m 31s sorgenfrey
sorgenfrey
24m 31s
extract some lemmas .github/workflows/generate_docs.yml #57: Commit 7b3a505 pushed by garrigue
27m 43s sorgenfrey
sorgenfrey
27m 43s
small simp .github/workflows/generate_docs.yml #56: Commit 81ded63 pushed by garrigue
25m 59s sorgenfrey
sorgenfrey
25m 59s
use Urysohn in perfectly_normal_space01_normal .github/workflows/generate_docs.yml #55: Commit d381d8c pushed by motikaku
24m 49s sorgenfrey
sorgenfrey
24m 49s
completed proof of Vedenissoff .github/workflows/generate_docs.yml #54: Commit 7c2e9ae pushed by motikaku
24m 28s sorgenfrey
sorgenfrey
24m 28s