profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/bors[bot]/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

push eventinfinyon/fluvio

Sehyo Chang

commit sha 1f9c5c4d48a16fdba818c60e2ac45bb43d40a481

Cleanup k8 fixtures in fluvio-sc (#1657) separate out k8 fixtures into it's own modules to make it re-usable

view details

push time in 2 minutes

delete branch infinyon/fluvio

delete branch : staging.tmp

delete time in 2 minutes

push eventinfinyon/fluvio

Sehyo

commit sha 9900444ce1a8c37054c1df65e62bdb7227b72fce

separate out test env

view details

Sehyo

commit sha 10d6a837968f040476e3069a474585e13d7a8ea4

clean up k8 fixtures

view details

bors[bot]

commit sha d9f27c208748d00e99ea9832499c7ad5253cbe15

[ci skip][skip ci][skip netlify] -bors-staging-tmp-10d6a837968f040476e3069a474585e13d7a8ea4

view details

push time in 2 minutes

delete branch infinyon/fluvio

delete branch : staging-squash-merge.tmp

delete time in 2 minutes

create barnchinfinyon/fluvio

branch : staging-squash-merge.tmp

created branch time in 2 minutes

push eventinfinyon/fluvio

Sehyo

commit sha 9900444ce1a8c37054c1df65e62bdb7227b72fce

separate out test env

view details

Sehyo

commit sha 10d6a837968f040476e3069a474585e13d7a8ea4

clean up k8 fixtures

view details

bors[bot]

commit sha 936b75fb442fa0195104d4bf8e478fb03e58305a

[ci skip][skip ci][skip netlify] -bors-staging-tmp-1657

view details

push time in 2 minutes

create barnchinfinyon/fluvio

branch : staging.tmp

created branch time in 2 minutes

PR merged ddnet/ddnet

Fixed typo in variable name

Fixed typo 'Automic' --> 'Automatic' in graphics_threaded. I thought i made a comment on the PR (https://github.com/ddnet/ddnet/pull/4160), but seems like i didnt send it in the end.

Checklist

  • [ ] Tested the change ingame
  • [ ] Provided screenshots if it is a visual change
  • [ ] Tested in combination with possibly related configuration options
  • [ ] Written a unit test if it works standalone, system.c especially
  • [ ] Considered possible null pointers and out of bounds array indexing
  • [ ] Changed no physics that affect existing maps
  • [ ] Tested the change with ASan+UBSan or valgrind's memcheck (optional)
+6 -6

5 comments

2 changed files

Chairn

pr closed time in 13 minutes

push eventddnet/ddnet

Chairn

commit sha 635485de9067d9aeae2dd98afce9b1b1348aec09

Fixed typo in variable name

view details

bors[bot]

commit sha 48f81e27fe7c6c189cd7de255709cbcd078898a6

Merge #4174 4174: Fixed typo in variable name r=Jupeyy a=Chairn Fixed typo 'Automic' --> 'Automatic' in graphics_threaded. I thought i made a comment on the PR (https://github.com/ddnet/ddnet/pull/4160), but seems like i didnt send it in the end. ## Checklist - [ ] Tested the change ingame - [ ] Provided screenshots if it is a visual change - [ ] Tested in combination with possibly related configuration options - [ ] Written a unit test if it works standalone, system.c especially - [ ] Considered possible null pointers and out of bounds array indexing - [ ] Changed no physics that affect existing maps - [ ] Tested the change with [ASan+UBSan or valgrind's memcheck](https://github.com/ddnet/ddnet/#using-addresssanitizer--undefinedbehavioursanitizer-or-valgrinds-memcheck) (optional) Co-authored-by: Chairn <chairn.nq@hotmail.fr>

view details

push time in 13 minutes

push eventleanprover-community/mathlib

Riccardo Brasca

commit sha 255862e22417d80c2f6cf80e468125797f16f9b8

refactor(linear_algebra/char_poly/basic): rename char_poly to matrix.charpoly (#9230) We rename `char_matrix` to `charmatrix` and `char_poly` to `matrix.charpoly`, so `M.charpoly` becomes available (and everything is coherent with `minpoly`).

view details

Yaël Dillies

commit sha e4bf49600bcac93abf043ec6939334e2c0f9ba1a

feat(data/set/finite): simple infiniteness lemmas (#9242)

view details

push time in 14 minutes

delete branch leanprover-community/mathlib

delete branch : staging.tmp

delete time in 14 minutes

push eventleanprover-community/mathlib

YaelDillies

commit sha 0f5951d17edad70532526f2c017883f58e514f6f

initial commit

view details

YaelDillies

commit sha 7b4e3d02a1fa04ef3fced3c98b09a018a4b9da56

fix

view details

Yaël Dillies

commit sha 4c93f6757eab1cba06eb805a2999f58bdf2e440f

rename Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

view details

bors[bot]

commit sha c148482bdf3fbb36c68d8126aafd5149b0952697

[ci skip][skip ci][skip netlify] -bors-staging-tmp-4c93f6757eab1cba06eb805a2999f58bdf2e440f

view details

push time in 14 minutes

delete branch leanprover-community/mathlib

delete branch : staging-squash-merge.tmp

delete time in 14 minutes

push eventleanprover-community/mathlib

Riccardo Brasca

commit sha 16d6132108f18e469fa594e3f40be503d0c59576

refactor(linear_algebra/char_poly/basic): rename char_poly to matrix.charpoly

view details

Riccardo Brasca

commit sha 5cf36d31753e110430b4011fa7c3f4054a8aabac

fix build

view details

Riccardo Brasca

commit sha 7426f4f1f197e69c41c8d0572031ff91c3d20687

fix doc

view details

Riccardo Brasca

commit sha 58af539fd9bdc3ffa65c0edb8b4c328be15b44f2

correct some names

view details

Riccardo Brasca

commit sha 590a731affd147a5774d97a9a05612901725f6db

doc

view details

Riccardo Brasca

commit sha ccd7c4d3835d3052db67e8698233600ae26cda10

fix build

view details

Riccardo Brasca

commit sha 2cc431203511e95336592d28d74f8e40053b3572

fix build

view details

Riccardo Brasca

commit sha 3feaf24ef9b23d4f6b83f487aefeb9cc918a7e2a

change folder name

view details

Riccardo Brasca

commit sha 3a96179360ab0f9258cc45f2e20cf1dbb6ab4bc5

fix build

view details

Riccardo Brasca

commit sha cd2290438de76dd6ba365948bc9f1dc9a4b3a5cf

fix name

view details

Riccardo Brasca

commit sha 010d17a128d92108064b43cff1f081ee54e7b858

Update src/linear_algebra/charpoly/basic.lean Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

view details

Riccardo Brasca

commit sha df280686f0cab743e150bfe79d02406dedcb2bb7

fix name

view details

Riccardo Brasca

commit sha a3cde0b69f5de6d888fb9c224b31da84c4a77a07

fix name

view details

Riccardo Brasca

commit sha e131c344bf7f85b15470d97b023120e6aee36c4a

fix again

view details

Riccardo Brasca

commit sha bf94e654cfc1d088c1e04f6487db5b24b69dee50

last changes?

view details

Riccardo Brasca

commit sha 85c753fdb49f12bdcbd631da5081409c91f59231

another name

view details

bors[bot]

commit sha 110ad0afa2ecb6318966bbe298c552fb6618c92f

[ci skip][skip ci][skip netlify] -bors-staging-tmp-85c753fdb49f12bdcbd631da5081409c91f59231

view details

push time in 14 minutes

create barnchleanprover-community/mathlib

branch : staging-squash-merge.tmp

created branch time in 14 minutes

push eventleanprover-community/mathlib

Riccardo Brasca

commit sha 16d6132108f18e469fa594e3f40be503d0c59576

refactor(linear_algebra/char_poly/basic): rename char_poly to matrix.charpoly

view details

Riccardo Brasca

commit sha 5cf36d31753e110430b4011fa7c3f4054a8aabac

fix build

view details

Riccardo Brasca

commit sha 7426f4f1f197e69c41c8d0572031ff91c3d20687

fix doc

view details

Riccardo Brasca

commit sha 58af539fd9bdc3ffa65c0edb8b4c328be15b44f2

correct some names

view details

Riccardo Brasca

commit sha 590a731affd147a5774d97a9a05612901725f6db

doc

view details

Riccardo Brasca

commit sha ccd7c4d3835d3052db67e8698233600ae26cda10

fix build

view details

Riccardo Brasca

commit sha 2cc431203511e95336592d28d74f8e40053b3572

fix build

view details

Riccardo Brasca

commit sha 3feaf24ef9b23d4f6b83f487aefeb9cc918a7e2a

change folder name

view details

Riccardo Brasca

commit sha 3a96179360ab0f9258cc45f2e20cf1dbb6ab4bc5

fix build

view details

Riccardo Brasca

commit sha cd2290438de76dd6ba365948bc9f1dc9a4b3a5cf

fix name

view details

Riccardo Brasca

commit sha 010d17a128d92108064b43cff1f081ee54e7b858

Update src/linear_algebra/charpoly/basic.lean Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

view details

Riccardo Brasca

commit sha df280686f0cab743e150bfe79d02406dedcb2bb7

fix name

view details

Riccardo Brasca

commit sha a3cde0b69f5de6d888fb9c224b31da84c4a77a07

fix name

view details

Riccardo Brasca

commit sha e131c344bf7f85b15470d97b023120e6aee36c4a

fix again

view details

Riccardo Brasca

commit sha bf94e654cfc1d088c1e04f6487db5b24b69dee50

last changes?

view details

Riccardo Brasca

commit sha 85c753fdb49f12bdcbd631da5081409c91f59231

another name

view details

bors[bot]

commit sha 32169f824b94927db75237732154f9956cf8d7f1

[ci skip][skip ci][skip netlify] -bors-staging-tmp-9230

view details

push time in 14 minutes

push eventleanprover-community/mathlib

YaelDillies

commit sha 0f5951d17edad70532526f2c017883f58e514f6f

initial commit

view details

YaelDillies

commit sha 7b4e3d02a1fa04ef3fced3c98b09a018a4b9da56

fix

view details

Yaël Dillies

commit sha 4c93f6757eab1cba06eb805a2999f58bdf2e440f

rename Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

view details

bors[bot]

commit sha ba06d8e9f18a029abc59964edfd44e54a61fe8af

[ci skip][skip ci][skip netlify] -bors-staging-tmp-9242

view details

push time in 14 minutes

create barnchleanprover-community/mathlib

branch : staging.tmp

created branch time in 14 minutes

delete branch leanprover-community/mathlib

delete branch : staging.tmp

delete time in 15 minutes

push eventleanprover-community/mathlib

RemyDegenne

commit sha e1e6fc009a81b2df96c903ea0bc2d372306e49d9

set_to_fun of an indicator

view details

RemyDegenne

commit sha 2e99bda4f663ddeaeed850949c1488f0c994986d

fix lint

view details

RemyDegenne

commit sha 1d5b8a804f39b3e7b8582dfb78806bbf867e8cd9

use nonempty

view details

RemyDegenne

commit sha 0c80ef58f19384603773bb430ffd58b1b6ba143f

fix, maybe

view details

RemyDegenne

commit sha b95143a228d2cae307c868d94c8c4112c173e497

fix

view details

bors[bot]

commit sha b11d62572d6dcf0a7d58174afc48ae3049d7c37a

[ci skip][skip ci][skip netlify] -bors-staging-tmp-9205

view details

push time in 15 minutes

create barnchleanprover-community/mathlib

branch : staging.tmp

created branch time in 15 minutes

delete branch leanprover-community/mathlib

delete branch : ennreal-ne-lt

delete time in 15 minutes

push eventleanprover-community/mathlib

Yury G. Kudryashov

commit sha e7579363a9bb96076c25a50aa79ec3ad7e04e21b

chore(data/real/ennreal, measure_theory/): use `≠ ∞` and `≠ 0` in assumptions (#9219)

view details

push time in 15 minutes

pull request commentleanprover-community/mathlib

chore(data/real/ennreal, measure_theory/): use `≠ ∞` and `≠ 0` in assumptions

Pull request successfully merged into master.

Build succeeded:

urkud

comment created time in 15 minutes

push eventddnet/ddnet

Chairn

commit sha 635485de9067d9aeae2dd98afce9b1b1348aec09

Fixed typo in variable name

view details

bors[bot]

commit sha 48f81e27fe7c6c189cd7de255709cbcd078898a6

Merge #4174 4174: Fixed typo in variable name r=Jupeyy a=Chairn Fixed typo 'Automic' --> 'Automatic' in graphics_threaded. I thought i made a comment on the PR (https://github.com/ddnet/ddnet/pull/4160), but seems like i didnt send it in the end. ## Checklist - [ ] Tested the change ingame - [ ] Provided screenshots if it is a visual change - [ ] Tested in combination with possibly related configuration options - [ ] Written a unit test if it works standalone, system.c especially - [ ] Considered possible null pointers and out of bounds array indexing - [ ] Changed no physics that affect existing maps - [ ] Tested the change with [ASan+UBSan or valgrind's memcheck](https://github.com/ddnet/ddnet/#using-addresssanitizer--undefinedbehavioursanitizer-or-valgrinds-memcheck) (optional) Co-authored-by: Chairn <chairn.nq@hotmail.fr>

view details

push time in 23 minutes

delete branch ddnet/ddnet

delete branch : staging.tmp

delete time in 23 minutes

push eventddnet/ddnet

Chairn

commit sha 635485de9067d9aeae2dd98afce9b1b1348aec09

Fixed typo in variable name

view details

bors[bot]

commit sha 0b34089e3d972a1796b42a04814affd44835547b

[ci skip][skip ci][skip netlify] -bors-staging-tmp-4174

view details

push time in 23 minutes

create barnchddnet/ddnet

branch : staging.tmp

created branch time in 23 minutes