Skip to content

Actions: Pjotr5/mathlib4

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
Revert changes to the subadditive lemmas Run pre-commit and in-place update PR on push #12: Commit ebd43ce pushed by Pjotr5
29s expect-lemmas
expect-lemmas
29s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #11: Commit e167bdc pushed by Pjotr5
27s expect-lemmas
expect-lemmas
27s
Merge branch 'expect-lemmas' of https://github.com/Pjotr5/mathlib4 in… Run pre-commit and in-place update PR on push #10: Commit 28f54d7 pushed by Pjotr5
30s expect-lemmas
expect-lemmas
30s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #9: Commit 15aa901 pushed by Pjotr5
32s expect-lemmas
expect-lemmas
32s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #8: Commit a991667 pushed by Pjotr5
21s expect-lemmas
expect-lemmas
21s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #7: Commit 5e93580 pushed by Pjotr5
20s expect-lemmas
expect-lemmas
20s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #6: Commit 6c8c812 pushed by Pjotr5
24s expect-lemmas
expect-lemmas
24s
Expect: add lemmas; tidy RCLike Run pre-commit and in-place update PR on push #5: Commit b8c391a pushed by Pjotr5
28s expect-lemmas
expect-lemmas
28s
chore: remove unnecessary @[expose] from public sections (#33581) Run pre-commit and in-place update PR on push #4: Commit 959c852 pushed by Pjotr5
31s pjotr-first-change
pjotr-first-change
31s
applied suggested simplification (using +contextual) Run pre-commit and in-place update PR on push #3: Commit dd93dc6 pushed by Pjotr5
29s expect_assumption
expect_assumption
29s
Merge branch 'master' into expect_assumption Run pre-commit and in-place update PR on push #2: Commit 20116f5 pushed by Pjotr5
26s expect_assumption
expect_assumption
26s
Removed unnecessary nonempty assumption at expect_eq_zero_iff_of_nonn… Run pre-commit and in-place update PR on push #1: Commit c2f582d pushed by Pjotr5
33s expect_assumption
expect_assumption
33s