Skip to content

Actions: ryanncode/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
6 workflow runs
6 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
update imports Run pre-commit and in-place update PR on push #6: Commit 2e2209e pushed by ryanncode
25s indefinite-metric
indefinite-metric
25s
feat(LinearAlgebra/BilinearForm): add indefinite metrics Run pre-commit and in-place update PR on push #5: Commit 35cff9d pushed by ryanncode
24s indefinite-metric
indefinite-metric
24s
feat(LinearAlgebra/BilinearForm): add indefinite metrics Run pre-commit and in-place update PR on push #4: Commit 8783e1f pushed by ryanncode
32s indefinite-metric
indefinite-metric
32s
Resolve import conflict again Run pre-commit and in-place update PR on push #3: Commit 53d79f1 pushed by ryanncode
30s indefinite-metric
indefinite-metric
30s
Resolve import conflict again Run pre-commit and in-place update PR on push #2: Commit 53d79f1 pushed by ryanncode
25s symmetry-op
symmetry-op
25s
Resolve import conflict Run pre-commit and in-place update PR on push #1: Commit a8a11e8 pushed by ryanncode
29s symmetry-op
symmetry-op
29s