summaryrefslogtreecommitdiff
path: root/.github/workflows (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-29ci: Check correctness of the charon pinned commitNadrieril1-0/+6
2024-05-14ci: cancel jobs after force-push to a branchNadrieril1-0/+1
2024-05-14`./charon-pin` stores the current charon commitNadrieril1-0/+1
2024-05-03Prepare CI for merge queueNadrieril1-0/+6
2024-04-24chore(ci): move Lean CI under NixRyan Lahfa1-14/+5
2024-04-22ci: avoid running duplicate jobsNadrieril1-0/+22
2024-04-22ci: check code formattingNadrieril1-0/+1
2024-03-08Update the workersSon Ho1-1/+0
2023-12-23Update the flake.nix and the ci.ymlSon Ho1-0/+1
2023-11-10Update the ci.ymlSon Ho1-4/+4
2023-11-10Update the ci.ymlSon Ho1-2/+1
2023-11-10Update the ci.ymlSon Ho1-0/+1
2023-11-10Update the ci.ymlSon Ho1-6/+2
2023-11-10Update the ci.ymlSon Ho1-1/+4
2023-11-10Update the ci.ymlSon Ho1-1/+1
2023-11-10Update the ci.ymlSon Ho1-4/+5
2023-11-10Update the ci.ymlSon Ho1-4/+6
2023-11-10Update the ci.ymlSon Ho1-1/+3
2023-11-10Update the ci.ymlSon Ho1-2/+2
2023-11-10Update the ci.ymlSon Ho1-1/+1
2023-11-10Update the ci.ymlSon Ho1-3/+5
2023-11-10Update the ci.ymlSon Ho1-1/+1
2023-11-10Update the ci.ymlSon Ho1-3/+3
2023-11-10Update the ci.ymlSon Ho1-1/+5
2023-11-10Make a minor fixSon Ho1-1/+1
2023-11-10Make a minor updateSon Ho1-2/+2
2023-11-10Update the ci.ymlSon Ho1-0/+5
2023-10-23ci: hydra -> github runnerPaul-Nicolas Madelaine1-0/+19