17 Commits (e4d83eee9239207622e2b1cc43967da5051c189c)

Author SHA1 Message Date
Johannes Schindelin d6d6683797 ci: make the "skip-if-redundant" check more defensive 4 years ago
Johannes Schindelin d0ff1a3cbc ci: work around old records of GitHub runs 4 years ago
Chris. Webster 32c83afc2c ci: github action - add check for whitespace errors 4 years ago
Johannes Schindelin 7d78d5fc1a ci: skip GitHub workflow runs for already-tested commits/trees 4 years ago
Johannes Schindelin 17c13069b4 GitHub workflow: automatically follow minor updates of setup-msbuild 4 years ago
Johannes Schindelin 2fcf7a8c65 ci: avoid ugly "failure" in the `ci-config` job 5 years ago
Johannes Schindelin b01aff8c1c ci: fix indentation of the `ci-config` job 5 years ago
Adrian Moennich 055747cd75 ci: fix inconsistent indentation 5 years ago
Sibi Siddharthan 4c2c38e800 ci: modification of main.yml to use cmake for vs-build job 5 years ago
Johannes Schindelin 857341c1b7 ci: avoid pounding on the poor ci-artifacts container 5 years ago
Jeff King e76eec3554 ci: allow per-branch config for GitHub Actions 5 years ago
Johannes Schindelin f72f328bc5 ci: let GitHub Actions upload failed tests' directories 5 years ago
Đoàn Trần Công Danh 889cacb689 ci: configure GitHub Actions for CI/PR 5 years ago