Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
6,965 workflow run results
6,965 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump dependencies and adapt to updated namespaces (#17117) continuous integration (staging) #10629: Commit 9910eca pushed by mathlib-bors bot
September 25, 2024 00:50 8m 55s staging
staging
September 25, 2024 00:50 8m 55s
chore: remove autoImplicit tech debt metric (#17107) continuous integration (staging) #10628: Commit 9fbb5fe pushed by mathlib-bors bot
September 25, 2024 00:06 8m 51s staging
staging
September 25, 2024 00:06 8m 51s
chore: adaptations for nightly-2024-09-24 (#17094) continuous integration (staging) #10627: Commit 84b2784 pushed by mathlib-bors bot
September 24, 2024 23:51 8m 46s staging
staging
September 24, 2024 23:51 8m 46s
chore(Algebra.Lie): do not always coerce a LieSubmodule to a `Submo… continuous integration (staging) #10626: Commit 652d1bd pushed by mathlib-bors bot
September 24, 2024 21:52 9m 9s staging
staging
September 24, 2024 21:52 9m 9s
feat(NumberTheory): add converse of Lucas test for primes (#16834) continuous integration (staging) #10625: Commit 9c5f431 pushed by mathlib-bors bot
September 24, 2024 21:10 8m 55s staging
staging
September 24, 2024 21:10 8m 55s
chore (PrimeSpectrum): RingHom.primeComap and API (#15114) continuous integration (staging) #10624: Commit 3846483 pushed by mathlib-bors bot
September 24, 2024 20:52 13m 20s staging
staging
September 24, 2024 20:52 13m 20s
feat(RingTheory/DedekindDomain): IsDedekindDomainDvr implies `IsDe… continuous integration (staging) #10623: Commit 6d06386 pushed by mathlib-bors bot
September 24, 2024 17:42 12m 35s staging
staging
September 24, 2024 17:42 12m 35s
fix: do not break multiplication notation (#17101) continuous integration (staging) #10622: Commit c7d6577 pushed by mathlib-bors bot
September 24, 2024 16:18 14m 56s staging
staging
September 24, 2024 16:18 14m 56s
chore: rename Function.comp.assoc to Function.comp_assoc (#17098) continuous integration (staging) #10621: Commit 067644f pushed by mathlib-bors bot
September 24, 2024 16:00 13m 58s staging
staging
September 24, 2024 16:00 13m 58s
chore(Mathlib/RingTheory/LocalProperties): split LocalProperties.lean… continuous integration (staging) #10620: Commit b479ce6 pushed by mathlib-bors bot
September 24, 2024 15:04 14m 47s staging
staging
September 24, 2024 15:04 14m 47s
chore(.github): add cross references between autogenerated files and … continuous integration (staging) #10619: Commit 60ff730 pushed by mathlib-bors bot
September 24, 2024 13:23 9m 6s staging
staging
September 24, 2024 13:23 9m 6s
chore(Order/Group): golf (#17079) continuous integration (staging) #10618: Commit a6954b3 pushed by mathlib-bors bot
September 24, 2024 12:27 47m 2s staging
staging
September 24, 2024 12:27 47m 2s
refactor: Make mem_ker be simp (#17021) continuous integration (staging) #10617: Commit 70a5565 pushed by mathlib-bors bot
September 24, 2024 11:40 47m 29s staging
staging
September 24, 2024 11:40 47m 29s
chore(SetTheory/Ordinal/Arithmetic): deprecate ne_iSup_iff_lt_iSup … continuous integration (staging) #10616: Commit 9348dae pushed by mathlib-bors bot
September 24, 2024 09:50 30m 19s staging
staging
September 24, 2024 09:50 30m 19s
feat(CharP): Int.cast is injective on Ico 0 p (#17063) continuous integration (staging) #10615: Commit 2d315a5 pushed by mathlib-bors bot
September 24, 2024 08:53 55m 0s staging
staging
September 24, 2024 08:53 55m 0s
feat: a property satisfied almost everywhere is satisfied on a dense … continuous integration (staging) #10614: Commit f9a6642 pushed by mathlib-bors bot
September 24, 2024 08:19 19m 54s staging
staging
September 24, 2024 08:19 19m 54s
chore(Monoid/Unbundled/Pow): cleanup (#17013) continuous integration (staging) #10613: Commit c15e46e pushed by mathlib-bors bot
September 24, 2024 07:14 56m 52s staging
staging
September 24, 2024 07:14 56m 52s
chore: update name in copyrights (#17074) continuous integration (staging) #10612: Commit 30c481f pushed by mathlib-bors bot
September 24, 2024 06:31 43m 5s staging
staging
September 24, 2024 06:31 43m 5s
feat: define HasSummableGeomSeries to unify results between normed … continuous integration (staging) #10611: Commit 4b28fd7 pushed by mathlib-bors bot
September 24, 2024 06:06 25m 25s staging
staging
September 24, 2024 06:06 25m 25s
feat(Condensed): discrete condensed sets are given by locally constan… continuous integration (staging) #10610: Commit 88dd555 pushed by mathlib-bors bot
September 24, 2024 05:56 9m 13s staging
staging
September 24, 2024 05:56 9m 13s
chore: update Mathlib dependencies 2024-09-24 (#17052) continuous integration (staging) #10609: Commit 09caad2 pushed by mathlib-bors bot
September 24, 2024 04:03 8m 31s staging
staging
September 24, 2024 04:03 8m 31s
ci: add workflow_dispatch to scheduled workflows (#16862) continuous integration (staging) #10608: Commit 7252e9d pushed by mathlib-bors bot
September 24, 2024 02:37 8m 48s staging
staging
September 24, 2024 02:37 8m 48s
chore: remove non-ascii whitespace (#17068) continuous integration (staging) #10607: Commit 7fdf3ba pushed by mathlib-bors bot
September 24, 2024 01:34 54m 56s staging
staging
September 24, 2024 01:34 54m 56s
feat: semi-uniqueness of limits in seminormed spaces (#17066) continuous integration (staging) #10606: Commit fd58796 pushed by mathlib-bors bot
September 24, 2024 00:42 51m 57s staging
staging
September 24, 2024 00:42 51m 57s
chore: stop using 'old-style' tfae_have syntax (#11000) continuous integration (staging) #10605: Commit 7bfd6ed pushed by mathlib-bors bot
September 23, 2024 23:58 43m 44s staging
staging
September 23, 2024 23:58 43m 44s