Skip to content

Actions: anishrajeev/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
12 workflow runs
12 workflow runs

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
Merge branch 'master' into OmittingTypes Run pre-commit and in-place update PR on push #12: Commit 68f7493 pushed by anishrajeev
27s OmittingTypes
OmittingTypes
27s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #11: Commit 5f9cf53 pushed by anishrajeev
24s OmittingTypes
OmittingTypes
24s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #10: Commit 0a7ec16 pushed by anishrajeev
28s OmittingTypes
OmittingTypes
28s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #9: Commit d367fa2 pushed by anishrajeev
28s OmittingTypes
OmittingTypes
28s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #8: Commit 1931e78 pushed by anishrajeev
22s OmittingTypes
OmittingTypes
22s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #7: Commit b83ccc7 pushed by anishrajeev
24s OmittingTypes
OmittingTypes
24s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #6: Commit 5f96dfb pushed by anishrajeev
34s OmittingTypes
OmittingTypes
34s
Merge branch 'master' into OmittingTypes Run pre-commit and in-place update PR on push #5: Commit 7beaf34 pushed by anishrajeev
31s OmittingTypes
OmittingTypes
31s
prefixed with theory Run pre-commit and in-place update PR on push #4: Commit 0042606 pushed by anishrajeev
21s OmittingTypes
OmittingTypes
21s
prefixed with theory Run pre-commit and in-place update PR on push #3: Commit 0042606 pushed by anishrajeev
30s main
main
30s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #2: Commit 5959d52 pushed by pre-commit-ci-lite Bot
32s OmittingTypes
OmittingTypes
32s
Merge branch 'master' into OmittingTypes Run pre-commit and in-place update PR on push #1: Commit 18449a8 pushed by anishrajeev
32s OmittingTypes
OmittingTypes
32s