PR #1893 feat(.github): switch to github actions for ci

feat(.github): switch to github actions for ci #1893

robertylewis merged 2 commits into leanprover-community:master from gebner:actions

gebner force pushed from a599568b to 8891038f 6 years ago

gebner force pushed from 8891038f to c46ad503 6 years ago

feat(.github): switch to github actions for ci

837f3455

gebner force pushed from c46ad503 to 837f3455 6 years ago

gebner marked this pull request as ready for review 6 years ago

Merge branch 'master' into actions

2733f4e5

robertylewis merged 2db02b80 into master 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone