Skip to content

Actions: leanprover/reference-manual

Actions

Check dependency pins

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-dependency-pins.yml
20 workflow runs
20 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
doc: add lake samply command documentation Check dependency pins #20: Pull request #817 synchronize by kim-em
9s doc-lake-profile
doc-lake-profile
9s
Check dependency pins Check dependency pins #19: Merge group checks requested
11s
11s
chore: remove lean-pr-testing-* and nightly-with-manual infrastructure Check dependency pins #18: Pull request #939 synchronize by Garmelon
11s joscha/remove-lean-pr-testing-infra
joscha/remove-lean-pr-testing-infra
11s
chore: remove lean-pr-testing-* and nightly-with-manual infrastructure Check dependency pins #17: Pull request #939 opened by Garmelon
7s joscha/remove-lean-pr-testing-infra
joscha/remove-lean-pr-testing-infra
7s
doc: add v4.34.0 highlights Check dependency pins #16: Pull request #933 synchronize by juanjomadrigal
8s juanjomadrigal:v4.34.0_highlights
juanjomadrigal:v4.34.0_highlights
8s
chore: update plausible.io snippet to newest version Check dependency pins #15: Pull request #934 opened by ashandoak
1m 41s ashandoak:plausible-analytics
ashandoak:plausible-analytics
1m 41s
doc: add v4.34.0 highlights Check dependency pins #14: Pull request #933 opened by juanjomadrigal
9s juanjomadrigal:v4.34.0_highlights
juanjomadrigal:v4.34.0_highlights
9s
Check dependency pins Check dependency pins #13: Merge group checks requested
10s
10s
Check dependency pins Check dependency pins #12: Merge group checks requested
8s
8s
feat: describe Async Check dependency pins #11: Pull request #866 synchronize by david-christiansen
9s async-monad
async-monad
9s
feat: describe Async Check dependency pins #10: Pull request #866 synchronize by david-christiansen
11s async-monad
async-monad
11s
Check dependency pins Check dependency pins #9: Merge group checks requested
7s
7s
feat: describe Async Check dependency pins #8: Pull request #866 synchronize by david-christiansen
8s async-monad
async-monad
8s
Check dependency pins Check dependency pins #7: Merge group checks requested
11s
11s
feat: grind interactive Check dependency pins #6: Pull request #868 synchronize by david-christiansen
8s grind-interactive
grind-interactive
8s
feat: describe Async Check dependency pins #5: Pull request #866 synchronize by david-christiansen
11s async-monad
async-monad
11s
feat: grind interactive Check dependency pins #4: Pull request #868 synchronize by david-christiansen
11s grind-interactive
grind-interactive
11s
Check dependency pins Check dependency pins #3: Merge group checks requested
12s
12s
Check dependency pins Check dependency pins #2: Merge group checks requested
Startup failure
Startup failure
chore: add CI to ensure no nightly-testing deps merge to main Check dependency pins #1: Pull request #926 opened by david-christiansen
9s dep-pins
dep-pins
9s