Commit graph

23 commits

Author SHA1 Message Date
Sridhar Ratnakumar
06e75e55e3
Parametrize systems using github:nix-systems (#97) 2023-04-09 09:51:56 -04:00
Sridhar Ratnakumar
94ec678bc3 github-ci: use faster nix install 2023-03-25 10:53:44 -04:00
Sridhar Ratnakumar
316ed2e2a4
Fix link 2023-02-27 17:13:33 -05:00
Sridhar Ratnakumar
48b68856e8 Re-enable hlsCheck 2023-02-05 14:37:24 -05:00
Sridhar Ratnakumar
9ea398529d
Update ci.yaml 2022-12-24 06:55:44 -05:00
Sridhar Ratnakumar
1efe165ef3
Make Hercules CI succeed (#78)
Remove hlsCheck, sadly.
2022-12-23 20:16:59 -05:00
Sridhar Ratnakumar
ba2bc36045
github: Reintroduce update-flake-lock.yaml
But with cron disabled.
2022-10-29 12:00:00 -04:00
Sridhar Ratnakumar
029e2a478f ci: remove hlint check 2022-09-30 14:36:32 -04:00
Sridhar Ratnakumar
f6830f0d08
Obviate check-flake (#61) 2022-09-30 14:34:57 -04:00
Sridhar Ratnakumar
fd5c483768
Remove until #54 is done 2022-09-30 11:33:00 -04:00
Sridhar Ratnakumar
8052faf2bf
Allow update flake lock action to run CI
https://github.com/DeterminateSystems/update-flake-lock#with-a-personal-authentication-token
2022-09-03 10:21:19 -04:00
Sridhar Ratnakumar
5cfb230f15
Add a flake check for HLS (#47)
Also use check-flake for .#check package.

Deal with network access by disabling sandbox, and excluding in garnix.
2022-08-28 18:50:08 -04:00
Sridhar Ratnakumar
534e102d6d
Periodically update flake.lock (#25) 2022-07-21 15:38:43 -04:00
Sridhar Ratnakumar
480677ec23 ci: Update install-nix-action 2022-05-04 17:09:06 -04:00
Sridhar Ratnakumar
576b380515 ci: check hlint 2022-05-04 17:06:33 -04:00
Sridhar Ratnakumar
bed151d25c Fix treefmt CI 2022-05-04 16:28:57 -04:00
Sridhar Ratnakumar
2fbd9dbe57 Switch to treefmt; resolves #283 2022-05-04 16:24:34 -04:00
Sridhar Ratnakumar
d2d1dfd116 github: remove flake check 2022-04-27 19:45:57 -04:00
Sridhar Ratnakumar
3a330068f1 Update lint-utils to master, and fix checks 2022-03-26 11:59:19 -04:00
Sridhar Ratnakumar
082ed32bae Run flake check in CI 2022-03-25 14:29:56 -04:00
Sridhar Ratnakumar
25b96fcc3d Add github CI 2021-12-05 16:43:18 -05:00
Sridhar Ratnakumar
55851396c9 Remove old files 2021-05-31 19:23:34 -04:00
Sridhar Ratnakumar
7ae116cf34 init 2021-05-31 19:21:58 -04:00