rocquencourt
caching everything coq/rocq
Star 0
Fork 0
Watch

Commits on master

Yifei Sun
mailmap: update entries
committed
dependabot[bot]
flake: bump nixpkgs from `36bebc5` to `545c226` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `31b6ba6` to `36bebc5` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `a91f9ce` to `31b6ba6` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `208cb48` to `a91f9ce` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `a251c42` to `208cb48` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `b02555f` to `a251c42` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `44a9189` to `b02555f` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `c8ccf87` to `44a9189` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `14349b9` to `c8ccf87` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `f4a6f27` to `14349b9` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `bc071da` to `f4a6f27` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `418b436` to `bc071da` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `855c4f0` to `418b436` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `231dbe5` to `855c4f0` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `f496248` to `231dbe5` in the inputs group
committed
stepbrobd.com
flake: bump nixpkgs from `eaad089` to `f496248` in the inputs group (#28)
committed
stepbrobd.com
flake: drop coq builds
committed
dependabot[bot]
flake: bump nixpkgs from `eaad089` to `f496248` in the inputs group
committed
stepbrobd.com
flake: bump nixpkgs from `bd93262` to `eaad089` in the inputs group (#27)
committed
dependabot[bot]
flake: bump nixpkgs from `bd93262` to `eaad089` in the inputs group
committed
stepbrobd.com
flake: bump nixpkgs from `413a9b8` to `bd93262` in the inputs group (#26)
committed
dependabot[bot]
flake: bump nixpkgs from `413a9b8` to `bd93262` in the inputs group
committed
stepbrobd.com
flake: bump nixpkgs from `7e0fb95` to `413a9b8` in the inputs group (#25)
committed
dependabot[bot]
flake: bump nixpkgs from `7e0fb95` to `413a9b8` in the inputs group
committed
stepbrobd.com
flake: bump nixpkgs from `491ca1a` to `7e0fb95` in the inputs group (#24)
committed
stepbrobd.com
ci: set codeowner and trigger merge on CI completion
committed
dependabot[bot]
flake: bump nixpkgs from `491ca1a` to `7e0fb95` in the inputs group
committed
stepbrobd.com
flake: bump nixpkgs from `8f4f7ae` to `491ca1a` in the inputs group across 1 directory (#22)
committed
dependabot[bot]
flake: bump nixpkgs in the inputs group across 1 directory
committed
stepbrobd.com
ci: disable dependabot flake cooldown
committed
stepbrobd.com
flake: bump nixpkgs from `4092985` to `1d383cb` in the inputs group across 1 directory (#21)
committed
dependabot[bot]
flake: bump nixpkgs in the inputs group across 1 directory
committed
dependabot[bot]
flake: bump nixpkgs from `38f52fc` to `4092985` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `28d4faa` to `38f52fc` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `6147971` to `28d4faa` in the inputs group
committed
stepbrobd.com
flake: bump nixpkgs from `8465ac3` to `6147971` in the inputs group (#17)
committed
dependabot[bot]
flake: bump nixpkgs from `8465ac3` to `6147971` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `180d7bf` to `8465ac3` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `c3db893` to `180d7bf` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `ffa7c7a` to `c3db893` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `3af24d1` to `ffa7c7a` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `228f7e3` to `3af24d1` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `5072156` to `228f7e3` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `27bf2ed` to `5072156` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `6f5e2d2` to `27bf2ed` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `8dc49b8` to `6f5e2d2` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `1745eb5` to `8dc49b8` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `c8c0b90` to `1745eb5` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `d4fea6b` to `c8c0b90` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `05eced6` to `d4fea6b` in the inputs group
committed
dependabot[bot]
flake: bump nixpkgs from `8cf9f7f` to `05eced6` in the inputs group
committed
stepbrobd.com
ci: skip vscoq ls
committed
stepbrobd.com
flake: allow unfree
committed
stepbrobd.com
readme: init
committed
stepbrobd.com
license: init mit
committed
stepbrobd.com
flake: enable more jobs
committed
stepbrobd.com
ci: set wildcard matching
committed
stepbrobd.com
flake: drop coq?
committed
stepbrobd.com
flake: gee gha was not happy
committed