Skip to content

Actions: opencompl/fp-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,570 workflow runs
1,570 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
feat: build theory of successor FpRealTheory (with Mathlib) #221: Pull request #72 synchronize by bollu
4m 0s successor
successor
4m 0s
feat: build theory of successor Unit Tests #231: Pull request #72 synchronize by bollu
3m 56s successor
successor
3m 56s
feat: build theory of successor Core Library #528: Pull request #72 synchronize by bollu
4m 13s successor
successor
4m 13s
feat: build theory of successor Golden testing #480: Pull request #72 synchronize by bollu
6m 22s successor
successor
6m 22s
feat: build theory of successor Golden testing #479: Pull request #72 synchronize by bollu
6m 35s successor
successor
6m 35s
feat: build theory of successor FpRealTheory (with Mathlib) #220: Pull request #72 synchronize by bollu
3m 15s successor
successor
3m 15s
feat: build theory of successor Core Library #527: Pull request #72 synchronize by bollu
3m 49s successor
successor
3m 49s
feat: build theory of successor Unit Tests #230: Pull request #72 synchronize by bollu
4m 27s successor
successor
4m 27s
feat: build theory of successor Golden testing #478: Pull request #72 synchronize by bollu
2m 52s successor
successor
2m 52s
feat: build theory of successor Core Library #526: Pull request #72 synchronize by bollu
29s successor
successor
29s
feat: build theory of successor FpRealTheory (with Mathlib) #219: Pull request #72 synchronize by bollu
3m 17s successor
successor
3m 17s
feat: build theory of successor Unit Tests #229: Pull request #72 synchronize by bollu
35s successor
successor
35s
feat: build theory of successor Core Library #525: Pull request #72 opened by bollu
4m 2s successor
successor
4m 2s
feat: build theory of successor Unit Tests #228: Pull request #72 opened by bollu
3m 47s successor
successor
3m 47s
feat: build theory of successor FpRealTheory (with Mathlib) #218: Pull request #72 opened by bollu
3m 25s successor
successor
3m 25s
feat: build theory of successor Golden testing #477: Pull request #72 opened by bollu
6m 25s successor
successor
6m 25s
feat: show that lower is computable with no sorrys (#71) FpRealTheory (with Mathlib) #217: Commit 6e50418 pushed by bollu
3m 13s main
main
3m 13s
feat: show that lower is computable with no sorrys (#71) Unit Tests #227: Commit 6e50418 pushed by bollu
2m 32s main
main
2m 32s
feat: show that lower is computable with no sorrys (#71) Golden testing #476: Commit 6e50418 pushed by bollu
4m 46s main
main
4m 46s
feat: show that lower is computable with no sorrys (#71) Core Library #524: Commit 6e50418 pushed by bollu
2m 26s main
main
2m 26s
feat: show that lower is computable with no sorrys Core Library #523: Pull request #71 synchronize by bollu
1m 15s lower-upper-computable-2
lower-upper-computable-2
1m 15s
feat: show that lower is computable with no sorrys Golden testing #475: Pull request #71 synchronize by bollu
12m 9s lower-upper-computable-2
lower-upper-computable-2
12m 9s
feat: show that lower is computable with no sorrys FpRealTheory (with Mathlib) #216: Pull request #71 synchronize by bollu
4m 41s lower-upper-computable-2
lower-upper-computable-2
4m 41s
feat: show that lower is computable with no sorrys Unit Tests #226: Pull request #71 synchronize by bollu
1m 20s lower-upper-computable-2
lower-upper-computable-2
1m 20s
feat: show that lower is computable with no sorrys Unit Tests #225: Pull request #71 synchronize by bollu
1m 59s lower-upper-computable-2
lower-upper-computable-2
1m 59s