Skip to content

Actions: CoolRmal/formal-conjectures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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
Delete 912.lean Notify erdosproblems of update #3: Commit a5cf12d pushed by CoolRmal
Skipped main
main
Skipped
Delete 912.lean Build Lean project and deploy docs #3: Commit a5cf12d pushed by CoolRmal
32m 20s main
main
32m 20s
Create 912.lean Notify erdosproblems of update #2: Commit b3d7cdd pushed by CoolRmal
8s main
main
8s
Create 912.lean Build Lean project and deploy docs #2: Commit b3d7cdd pushed by CoolRmal
24m 37s main
main
24m 37s
feat(OEIS): conjecture relating A080170 and A051283 (#1478) Build Lean project and deploy docs #1: Commit 0824f21 pushed by CoolRmal
1h 37m 34s main
main
1h 37m 34s
feat(OEIS): conjecture relating A080170 and A051283 (#1478) Notify erdosproblems of update #1: Commit 0824f21 pushed by CoolRmal
1s main
main
1s