Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
13 | master | Merge pull request #1 from JuliaTagBot/master Install TagBot as a GitHub Action | push | web-flow | travis-ci | pending completion set done | |
12 | master | Install TagBot as a GitHub Action | Pull #1 | web-flow | travis-ci | pending completion set done | |
10 | master | Add differential forms | push | eschnett | travis-ci | pending completion set done | |
9 | master | Switch to Apache licence | push | eschnett | travis-ci | pending completion set done | |
8 | master | Update manifest | push | eschnett | travis-ci | pending completion set done | |
4 | master | Implement vector space combinators | push | eschnett | travis-ci | pending completion set done | |
3 | master | Correct metadata files | push | eschnett | travis-ci | pending completion set done | |
2 | master | Correct metadata files | push | eschnett | travis-ci | pending completion set done |