GitHub webhook has been successfully configured by Zimmi48.

palmskog edited the repository.

palmskog created the repository.

palmskog edited the repository.

ghost edited the repository.

palmskog edited the repository.

palmskog edited the repository.

palmskog transferred the repository.

palmskog edited the repository.

palmskog transferred the repository.

palmskog edited the repository.

thery transferred the repository coq-community/HighSchoolGeometry.

palmskog edited the repository coq-community/HighSchoolGeometry.

JasonGross transferred the repository coq-community/run-coq-bug-minimizer.

palmskog edited the repository coq-community/run-coq-bug-minimizer.

palmskog edited the repository coq-community/run-coq-bug-minimizer.

palmskog edited the repository coq-community/buchberger.

jmadiot transferred the repository coq-community/coq100.

palmskog edited the repository coq-community/coq100.

chdoc created the repository coq-community/comp-dec-modal.

palmskog edited the repository coq-community/coq100.

palmskog edited the repository coq-community/qarith-stern-brocot.

palmskog edited the repository coq-community/semantics.

palmskog edited the repository coq-community/topology.

anton-trunov edited the repository coq-community/comp-dec-modal.

palmskog transferred the repository coq-community/gaia.

palmskog edited the repository coq-community/comp-dec-modal.

palmskog edited the repository coq-community/bertrand.

palmskog edited the repository coq-community/gaia.

liyishuai edited the repository coq-community/coq-ext-lib.

lthms transferred the repository coq-community/coqffi.

palmskog edited the repository coq-community/coqffi.

jmadiot transferred the repository coq-community/coqtail-math.

palmskog edited the repository coq-community/coqtail-math.

palmskog edited the repository coq-community/coqtail-math.

Zimmi48 transferred the repository coq-community/generic-environments.

aerabi edited the repository coq-community/generic-environments.

Zimmi48 edited the repository coq-community/generic-environments.

Zimmi48 created the repository coq-community/hydra-battles.

Zimmi48 edited the repository coq-community/hydra-battles.

ghost edited the repository coq-community/hydra-battles.

palmskog edited the repository coq-community/bertrand.

vsiles transferred the repository coq-community/regexp-Brzozowski.

anton-trunov edited the repository coq-community/regexp-Brzozowski.

anton-trunov edited the repository coq-community/regexp-Brzozowski.

palmskog edited the repository coq-community/hydra-battles.

palmskog edited the repository coq-community/generic-environments.

palmskog edited the repository coq-community/hydra-battles.

palmskog edited the repository coq-community/aac-tactics.

Casteran edited the repository coq-community/hydra-battles.

Casteran edited the repository coq-community/hydra-battles.

palmskog edited the repository coq-community/hydra-battles.

yforster transferred the repository coq-community/autosubst.

palmskog edited the repository coq-community/autosubst.

lthms edited the repository coq-community/coqffi.

palmskog edited the repository coq-community/topology.

Zimmi48 edited the repository coq-community/vscoq.

JasonGross created the repository coq-community/coq-performance-tests-plots-history.

Zimmi48 edited the repository coq-community/zorns-lemma.

Zimmi48 edited the repository coq-community/topology.

palmskog transferred the repository coq-community/pocklington.

palmskog transferred the repository coq-community/goedel.

palmskog edited the repository coq-community/pocklington.

palmskog edited the repository coq-community/goedel.

palmskog edited the repository coq-community/goedel.

palmskog edited the repository coq-community/pocklington.

palmskog edited the repository coq-community/zorns-lemma.

palmskog edited the repository coq-community/zorns-lemma.

palmskog archived the repository coq-community/zorns-lemma.

Casteran edited the repository coq-community/goedel.

palmskog edited the repository coq-community/goedel.

palmskog edited the repository coq-community/coq-art.

palmskog edited the repository coq-community/hydra-battles.

jmadiot renamed the repository coq-community/coq-100-theorems.

CohenCyril created the repository coq-community/nix-toolbox.

CohenCyril edited the repository coq-community/nix-toolbox.

CohenCyril renamed the repository coq-community/coq-nix-toolbox.

Zimmi48 edited the repository coq-community/coq-nix-toolbox.

Zimmi48 transferred the repository coq-community/sudoku.

palmskog edited the repository coq-community/sudoku.

palmskog edited the repository coq-community/sudoku.

palmskog edited the repository coq-community/coq-performance-tests-plots-history.

Zimmi48 edited the repository coq-community/sudoku.

Zimmi48 edited the repository coq-community/autosubst.

palmskog edited the repository coq-community/sudoku.

palmskog edited the repository coq-community/stalmarck.

CohenCyril transferred the repository coq-community/CoqEAL.

palmskog edited the repository coq-community/CoqEAL.

palmskog edited the repository coq-community/CoqEAL.

palmskog renamed the repository coq-community/coqeal.

palmskog edited the repository coq-community/coqeal.

ybertot transferred the repository coq-community/matrix_canonical_forms.

palmskog edited the repository coq-community/matrix_canonical_forms.

Karmaki transferred the repository coq-community/coq-dpdgraph.

palmskog edited the repository coq-community/coq-dpdgraph.

palmskog edited the repository coq-community/bertrand.

palmskog edited the repository coq-community/goedel.

palmskog edited the repository coq-community/buchberger.

palmskog edited the repository coq-community/stalmarck.

palmskog edited the repository coq-community/stalmarck.

coq-community edited the repository coq-community/pocklington.

coq-community edited the repository coq-community/sudoku.

palmskog edited the repository coq-community/matrix_canonical_forms.

palmskog archived the repository coq-community/matrix_canonical_forms.

palmskog edited the repository coq-community/hydra-battles.

palmskog edited the repository coq-community/regexp-Brzozowski.

Zimmi48 transferred the repository coq-community/bignums.

Zimmi48 edited the repository coq-community/bignums.

Zimmi48 edited the repository coq-community/bignums.

palmskog edited the repository coq-community/bignums.

coq-community edited the repository coq-community/bignums.

coq-community edited the repository coq-community/paramcoq.

coq-community edited the repository coq-community/chapar.

erikmd edited the repository coq-community/bignums.

coq-community edited the repository coq-community/reglang.

coq-community edited the repository coq-community/buchberger.

palmskog edited the repository coq-community/buchberger.

coq-community edited the repository coq-community/bignums.

palmskog edited the repository coq-community/bignums.

coq-community edited the repository coq-community/regexp-Brzozowski.

coq-community edited the repository coq-community/reglang.

changed to consistently use `docker-coq-action`

topic to more easily apply CI boilerplate updates

coq-community edited the repository coq-community/reglang.

Yannick Forster has marked this topic as resolved.

Yannick Forster has marked this topic as unresolved.

amahboubi transferred the repository coq-community/apery.

coq-community edited the repository coq-community/apery.

palmskog edited the repository coq-community/apery.

palmskog edited the repository coq-community/awesome-coq.

palmskog edited the repository coq-community/awesome-coq.

amahboubi transferred the repository coq-community/fourcolor.

palmskog edited the repository coq-community/fourcolor.

palmskog edited the repository coq-community/aac-tactics.

Alizter created the repository coq-community/riscv-coq.

@Karl Palmskog I accidentally forked to coq-community, can you delete the repo? https://github.com/coq-community/riscv-coq/settings

Yep!

Zimmi48 deleted the repository coq-community/riscv-coq.

Thanks!

erikmd edited the repository coq-community/docker-coq-action.

erikmd edited the repository coq-community/docker-coq-action.

erikmd edited the repository coq-community/docker-coq.

erikmd edited the repository coq-community/docker-coq.

palmskog edited the repository coq-community/vscoq.

palmskog edited the repository coq-community/vscoq.

palmskog edited the repository coq-community/apery.

letouzey transferred the repository coq-community/coq-mmaps.

palmskog edited the repository coq-community/coq-mmaps.

palmskog edited the repository coq-community/coq-mmaps.

palmskog edited the repository coq-community/coq-mmaps.

palmskog archived the repository coq-community/goedel.

palmskog unarchived the repository coq-community/goedel.

palmskog edited the repository coq-community/goedel.

palmskog archived the repository coq-community/goedel.

palmskog edited the repository coq-community/coq-mmaps.

palmskog edited the repository coq-community/coq-mmaps.

palmskog edited the repository coq-community/stalmarck.

palmskog edited the repository coq-community/stalmarck.

palmskog edited the repository coq-community/corn.

palmskog edited the repository coq-community/math-classes.

palmskog edited the repository coq-community/autosubst.

palmskog edited the repository coq-community/fourcolor.

palmskog edited the repository coq-community/bignums.

palmskog edited the repository coq-community/coqeal.

palmskog edited the repository coq-community/paramcoq.

palmskog edited the repository coq-community/corn.

palmskog edited the repository coq-community/math-classes.

palmskog edited the repository coq-community/coq-ext-lib.

palmskog edited the repository coq-community/paramcoq.

palmskog edited the repository coq-community/vscoq.

palmskog edited the repository coq-community/coqoban.

erikmd edited the repository coq-community/docker-base.

erikmd edited the repository coq-community/docker-base.

erikmd edited the repository coq-community/docker-coq.

maximedenes edited the repository coq-community/vscoq.

maximedenes edited the repository coq-community/vscoq.

CohenCyril transferred the repository coq-community/tarjan.

palmskog edited the repository coq-community/tarjan.

ejgallego transferred the repository coq-community/coq-plugin-template.

palmskog edited the repository coq-community/coq-plugin-template.

palmskog edited the repository coq-community/coq-plugin-template.

palmskog transferred the repository coq-community/coq-program-verification-template.

palmskog edited the repository coq-community/coq-plugin-template.

palmskog edited the repository coq-community/coq-program-verification-template.

yforster created the repository coq-community/metaprogramming-rosetta-stone.

palmskog edited the repository coq-community/metaprogramming-rosetta-stone.

palmskog edited the repository coq-community/metaprogramming-rosetta-stone.

palmskog edited the repository coq-community/coq-program-verification-template.

palmskog edited the repository coq-community/gaia.

palmskog edited the repository coq-community/atbr.

palmskog edited the repository coq-community/coq-ext-lib.

palmskog edited the repository coq-community/reduction-effects.

palmskog edited the repository coq-community/reglang.

palmskog edited the repository coq-community/reglang.

palmskog edited the repository coq-community/huffman.

palmskog edited the repository coq-community/huffman.

palmskog edited the repository coq-community/reglang.

palmskog edited the repository coq-community/stalmarck.

palmskog edited the repository coq-community/stalmarck.

palmskog edited the repository coq-community/stalmarck.

palmskog edited the repository coq-community/stalmarck.

palmskog edited the repository coq-community/graph-theory.

palmskog edited the repository coq-community/coqeal.

palmskog edited the repository coq-community/tarjan.

pancaek transferred the repository coq-community/vsc-conceal.

palmskog edited the repository coq-community/vsc-conceal.

palmskog edited the repository coq-community/vsc-conceal.

ecranceMERCE transferred the repository coq-community/trocq.

palmskog edited the repository coq-community/trocq.

gallais transferred the repository coq-community/parseque.

palmskog edited the repository coq-community/parseque.

palmskog edited the repository coq-community/trocq.

palmskog edited the repository coq-community/HighSchoolGeometry.

palmskog edited the repository coq-community/vscoq.

palmskog edited the repository coq-community/vscoq.

palmskog edited the repository coq-community/HighSchoolGeometry.

lthms edited the repository coq-community/coqffi.

palmskog created the repository coq-community/notation-examples.

palmskog edited the repository coq-community/notation-examples.

bcpierce00 renamed the repository coq-community/notation-gallery.

ecranceMERCE edited the repository coq-community/trocq.

andrejbauer transferred the repository coq-community/dedekind-reals.

palmskog edited the repository coq-community/dedekind-reals.

palmskog edited the repository coq-community/dedekind-reals.

palmskog edited the repository coq-community/corn.

palmskog edited the repository coq-community/math-classes.

palmskog edited the repository coq-community/awesome-coq.

Last updated: Jun 24 2024 at 13:02 UTC