Skip to content

Actions: b-mehta/ABC-Exceptions

Actions

Propose PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
03-propose-pr.yml
17 workflow runs
17 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
Bump actions/checkout from 5.0.0 to 6.0.1 Propose PR #23: Issue comment #74 (comment) created by dependabot Bot
Skipped
Skipped
Bump actions/checkout from 5.0.0 to 6.0.0 Propose PR #22: Issue comment #73 (comment) created by dependabot Bot
1s
1s
try mk_all Propose PR #21: Issue comment #33 (comment) created by b-mehta
1s
1s
chore: bump to v4.21.0-rc3 Propose PR #20: Issue comment #56 (comment) created by b-mehta
Skipped
Skipped
project fails the flexible linter Propose PR #19: Issue comment #38 (comment) created by b-mehta
3s
3s
Bump actions/cache from 3 to 4 Propose PR #18: Issue comment #46 (comment) created by b-mehta
1s
1s
Bump leanprover-community/lean-release-tag from e6d4745e870786071d26b44bc80424c1c242378e to 0a978e45247f1ef211cd9d7f99d0dbd87638a70a Propose PR #17: Issue comment #45 (comment) created by b-mehta
1s
1s
project linting currently fails Propose PR #16: Issue comment #37 (comment) created by b-mehta
1s
1s
project linting currently fails Propose PR #15: Issue comment #37 (comment) created by b-mehta
1s
1s
use similar_pow_natLog some more Propose PR #14: Issue comment #39 (comment) created by b-mehta
1s
1s
project linting currently fails Propose PR #13: Issue comment #37 (comment) created by b-mehta
1s
1s
project linting currently fails Propose PR #12: Issue comment #37 (comment) created by b-mehta
1s
1s
add and enforce linter Propose PR #11: Issue comment #34 (comment) created by b-mehta
Skipped
Skipped
try mk_all Propose PR #10: Issue comment #33 (comment) created by b-mehta
1s
1s
chore: update workflows Propose PR #9: Issue comment #29 (comment) created by pitmonticone
1s
1s
chore: update workflows Propose PR #8: Issue comment #29 (comment) created by pitmonticone
1s
1s
experiment with heartbeats Propose PR #7: Issue comment #21 (comment) created by b-mehta
1s
1s