New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI housekeeping #468

Merged

michaelpj merged 5 commits into master from mpj/housekeeping

Jan 2, 2023

Collaborator

michaelpj commented Jan 2, 2023

Bump nix inputs
Update workflows, drop stack from CI
Drop azure CI

michaelpj added 5 commits

January 2, 2023 20:35


          Bump nix inputs

666a317


          Update workflows, drop stack from CI

a2d367b


          Drop azure CI

b4da2bc


          Bump index state


          Run workflows on PR and push to master only, not push to feature branch

dabe516

michaelpj force-pushed the mpj/housekeeping branch from 3baf729 to dabe516 Compare

January 2, 2023 20:35

michaelpj merged commit 36a6bc3 into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet