Skip to content
Detect changes to header SHAs

[Merged by Bors] - chore(Algebra/TrivSqZeroExt): use open scoped RightActions #41417

Sign in to view logs

[Merged by Bors] - chore(Algebra/TrivSqZeroExt): use open scoped RightActions

[Merged by Bors] - chore(Algebra/TrivSqZeroExt): use open scoped RightActions #41417

Triggered via pull request February 16, 2024 09:51
@eric-wiesereric-wieser
synchronize #10546
eric-wieser/use-rightaction-notation
Status Success
Total duration 50s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
41s
Add annotations
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 4 notices
Synchronization: Mathlib/Data/Set/Intervals/UnorderedInterval.lean#L10
See review instructions and diff at https://leanprover-community.github.io/mathlib-port-status/file/data/set/intervals/unordered_interval?range=4020ddee5b4580a409bfda7d2f42726ce86ae674..3ba15165bd6927679be7c22d6091a87337e3cd0c
Synchronization: Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean#L11
See review instructions and diff at https://leanprover-community.github.io/mathlib-port-status/file/measure_theory/function/strongly_measurable/basic?range=ef95945cd48c932c9e034872bd25c3c220d9c946..3b52265189f3fb43aa631edffce5d060fafaf82f
Synchronization: Mathlib/Order/Bounds/Basic.lean#L10
See review instructions and diff at https://leanprover-community.github.io/mathlib-port-status/file/order/bounds/basic?range=ffde2d8a6e689149e44fd95fa862c23a57f8c780..b1abe23ae96fef89ad30d9f4362c307f72a55010
Synchronization: Mathlib/Topology/Algebra/Order/UpperLower.lean#L9
See review instructions and diff at https://leanprover-community.github.io/mathlib-port-status/file/topology/algebra/order/upper_lower?range=c0c52abb75074ed8b73a948341f50521fbf43b4c..b1abe23ae96fef89ad30d9f4362c307f72a55010
Add annotations
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.