Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: leanprover/elan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: try dropping written files async on Windows CI #413: Pull request #185 synchronize by Kha
12m 1s Kha:push-xkqnvrnwrrst
Kha:push-xkqnvrnwrrst
12m 1s
perf: try dropping written files async on Windows CI #412: Pull request #185 opened by Kha
11m 5s Kha:push-xkqnvrnwrrst
Kha:push-xkqnvrnwrrst
11m 5s
Upgrade pulldown-cmark from 0.11 to 0.13 (#184) CI #411: Commit 2a16e96 pushed by Kha
12m 36s master
master
12m 36s
Upgrade pulldown-cmark from 0.11 to 0.13 (#184) Deploy elan-init files to GitHub Pages #19: Commit 2a16e96 pushed by Kha
22s master
master
22s
Upgrade pulldown-cmark from 0.11 to 0.13 CI #410: Pull request #184 opened by mans0954
11m 12s mans0954:pulldown-cmark-0130
mans0954:pulldown-cmark-0130
11m 12s
feat: show target of links in in "elan show" (#181) CI #409: Commit 656e9b7 pushed by Kha
12m 39s master
master
12m 39s
feat: show target of links in in "elan show" (#181) Deploy elan-init files to GitHub Pages #18: Commit 656e9b7 pushed by Kha
15s master
master
15s
Remove ole32-sys (#182) Deploy elan-init files to GitHub Pages #17: Commit 1751b4f pushed by Kha
17s master
master
17s
Remove ole32-sys (#182) CI #408: Commit 1751b4f pushed by Kha
2m 2s master
master
2m 2s
Remove ole32-sys CI #407: Pull request #182 opened by mans0954
12m 1s mans0954:remove-ole32
mans0954:remove-ole32
12m 1s
feat: show target of links in in "elan show" CI #406: Pull request #181 opened by jcreedcmu
5m 45s jcreedcmu:jcreed/show-target
jcreedcmu:jcreed/show-target
5m 45s
refactor: minor code quality improvements (#177) CI #405: Commit 2a514d2 pushed by Kha
3m 17s master
master
3m 17s
refactor: minor code quality improvements (#177) Deploy elan-init files to GitHub Pages #16: Commit 2a514d2 pushed by Kha
15s master
master
15s
chore: replace markdown with pulldown-cmark (#133) CI #404: Commit 87552c2 pushed by Kha
14m 23s master
master
14m 23s
chore: replace markdown with pulldown-cmark (#133) Deploy elan-init files to GitHub Pages #15: Commit 87552c2 pushed by Kha
14s master
master
14s
chore: remove walkdir dependency (#180) Deploy elan-init files to GitHub Pages #14: Commit d9063c8 pushed by Kha
22s master
master
22s
chore: remove walkdir dependency (#180) CI #403: Commit d9063c8 pushed by Kha
14m 1s master
master
14m 1s
chore: remove unused sha2 dependency (#179) CI #402: Commit c1e4086 pushed by Kha
13m 13s master
master
13m 13s
chore: remove unused sha2 dependency (#179) Deploy elan-init files to GitHub Pages #13: Commit c1e4086 pushed by Kha
19s master
master
19s
Remove walkdir dependency CI #401: Pull request #180 opened by mans0954
11m 40s mans0954:remove-walkdir
mans0954:remove-walkdir
11m 40s
Remove sha2 dependency CI #400: Pull request #179 synchronize by mans0954
12m 41s mans0954:update-sha2-0109
mans0954:update-sha2-0109
12m 41s
Remove sha2 dependency CI #399: Pull request #179 opened by mans0954
12m 14s mans0954:update-sha2-0109
mans0954:update-sha2-0109
12m 14s
Remove ole32-sys CI #398: Pull request #178 opened by mans0954
11m 52s mans0954:remove-ole32
mans0954:remove-ole32
11m 52s
Replace markdown with pulldown-cmark CI #397: Pull request #133 synchronize by mans0954
3m 44s mans0954:mans0954/remove-markdown
mans0954:mans0954/remove-markdown
3m 44s
Replace markdown with pulldown-cmark CI #396: Pull request #133 synchronize by mans0954
3m 24s mans0954:mans0954/remove-markdown
mans0954:mans0954/remove-markdown
3m 24s