Skip to content

Actions: inaciovasquez2020/urf-axioms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
724 workflow runs
724 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
meta: add machine-readable citation and attribution surfaces verify #183: Commit fee2d4e pushed by inaciovasquez2020
8s main
main
8s
meta: add machine-readable citation and attribution surfaces Lean Action CI #152: Commit fee2d4e pushed by inaciovasquez2020
27s main
main
27s
meta: add machine-readable citation and attribution surfaces .github/workflows/verify_local_triviality.yml #6: Commit fee2d4e pushed by inaciovasquez2020
Failure main
main
Failure
meta: add machine-readable citation and attribution surfaces .github/workflows/axioms-check.yml #137: Commit fee2d4e pushed by inaciovasquez2020
Failure main
main
Failure
meta: add machine-readable citation and attribution surfaces .github/workflows/axiom-examples-check.yml #134: Commit fee2d4e pushed by inaciovasquez2020
Failure main
main
Failure
docs(readme): normalize citation and certification sections verify #182: Commit 2e54742 pushed by inaciovasquez2020
6s main
main
6s
docs(readme): normalize citation and certification sections Lean Action CI #151: Commit 2e54742 pushed by inaciovasquez2020
27s main
main
27s
docs(readme): normalize citation and certification sections .github/workflows/verify_local_triviality.yml #5: Commit 2e54742 pushed by inaciovasquez2020
Failure main
main
Failure
docs(readme): normalize citation and certification sections .github/workflows/axioms-check.yml #136: Commit 2e54742 pushed by inaciovasquez2020
Failure main
main
Failure
docs(readme): normalize citation and certification sections .github/workflows/axiom-examples-check.yml #133: Commit 2e54742 pushed by inaciovasquez2020
Failure main
main
Failure
fix(test): move noncollapse search into helper verify #181: Commit c35acc0 pushed by inaciovasquez2020
8s main
main
8s
fix(test): move noncollapse search into helper Lean Action CI #150: Commit c35acc0 pushed by inaciovasquez2020
30s main
main
30s
fix(test): move noncollapse search into helper .github/workflows/verify_local_triviality.yml #4: Commit c35acc0 pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
fix(test): move noncollapse search into helper .github/workflows/axioms-check.yml #135: Commit c35acc0 pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
fix(test): move noncollapse search into helper .github/workflows/axiom-examples-check.yml #132: Commit c35acc0 pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
ci: add workflow_dispatch and migrate workflows to Node 24-safe actions Lean Action CI #149: Pull request #40 synchronize by inaciovasquez2020
27s ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
27s
fix(test): move noncollapse search into helper verify #180: Commit c35acc0 pushed by inaciovasquez2020
6s ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
6s
fix(test): move noncollapse search into helper .github/workflows/axiom-examples-check.yml #131: Commit c35acc0 pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
fix(test): move noncollapse search into helper .github/workflows/verify_local_triviality.yml #3: Commit c35acc0 pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
fix(test): move noncollapse search into helper .github/workflows/axioms-check.yml #134: Commit c35acc0 pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
ci: add workflow_dispatch and migrate workflows to Node 24-safe actions Lean Action CI #148: Pull request #40 synchronize by inaciovasquez2020
20s ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
20s
docs(readme): clarify urf-core downstream canonical role verify #179: Commit 190ffda pushed by inaciovasquez2020
6s ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
6s
docs(readme): clarify urf-core downstream canonical role .github/workflows/verify_local_triviality.yml #2: Commit 190ffda pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
docs(readme): clarify urf-core downstream canonical role .github/workflows/axiom-examples-check.yml #130: Commit 190ffda pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure
docs(readme): clarify urf-core downstream canonical role .github/workflows/axioms-check.yml #133: Commit 190ffda pushed by inaciovasquez2020
Failure ci/node24-dispatch-sweep
ci/node24-dispatch-sweep
Failure