Skip to content

v3.0.0-test

v3.0.0-test: #834: Adding more CI tests, across more platforms (#835)
@davidcok davidcok tagged this 27 Dec 14:52 
* Adding more CI tests

* Adding more CI tests

* removing mac from gradle

* Adding install of brew

* Adding install of brew

* Adding a check

* Adding a check

* Adding pandoc back

* Adding a release test

* Adding a release test - fixed name

* Improving script

* Improving script - 2

* improving script - 3

* improving script - 4

* Adding more release tests

* Fixing scripts - 1

* Fixing scripts - 2

* Fixing scripts - 3

* Fixing scripts - 4

* Fixing scripts - 5

* Fixing scripts - 6

* Fixing scripts - 7

* Fixing scripts - 8

* Fixing scripts - 9

* Fixing scripts - 10

* Fixing scripts - 11

* Fixing scripts - 12

* Fixing scripts - 13

* Temporarily adding DafnyRuntime.jar

* Fixing scripts - 14

* Fixing scripts - 15

* Fixing scripts - 16

* Fixing scripts - 17

* Fixing scripts - 18

* Fixing scripts - 19

* Fixing scripts - 20

* Fixing scripts - 21

* Fixing scripts - 22

* Fixing scripts - 23

* Fixing scripts - 24

* Fixing scripts - 25

* Fixing scripts - 26

* Fixing scripts - 27

* Fixing scripts - 28

* Fixing scripts - 29

* Fixing scripts - 30

* Fixing scripts - 31

* Fixing scripts - 32

* Fixing scripts - 33

* Fixing scripts - 34

* Fixing scripts - 35

* Fixing scripts - 36

* Fixing scripts - 37

* Fixing scripts - 38

* Fixing scripts - 39

* Fixing scripts - 40

* Fixing scripts - 41

* Fixing scripts - 42

* Fixing scripts - 43

* Fixing scripts - 44

* Fixing scripts - 45

* Fixing scripts - 46

* Fixing scripts - 47

* Fixing scripts - 48

* Fixing scripts - 49

* Fixing scripts - 50

* Fixing scripts - 51

* Fixing scripts - 52

* Fixing scripts - 53

* Fixing scripts - 54

* Fixing scripts - 55

* Fixing scripts - 56

* Fixing scripts - 57

* Fixing scripts - 58

* Fixing scripts - 59

* Fixing scripts - 60

* Fixing scripts - 61

* Fixing scripts - 61

* Fixing scripts - 63

* Fixing scripts - 64

* Fixing scripts - 65

* Fixing scripts - 66

* Fixing scripts - 67

* Fixing scripts - 68

* Fixing scripts - 69

* Fixing scripts - 70

* Fixing scripts - 71

* Fixing scripts - 72

* Fixing scripts - 73

* Fixing scripts - 74

* Fixing scripts - 74

* Fixing scripts - 76

* Fixing scripts - 77

* Fixing scripts - 78

* Fixing scripts - 79

* Fixing scripts - 80

* Fixing scripts - 81

* Fixing scripts - 82

* Fixing scripts - 83

* Fixing scripts - 84

* Fixing scripts - 85

* Fixing scripts - 86

* Fixing scripts - 86

* Fixing scripts - 88

* Fixing scripts - 89

* Fixing scripts - 90

* Fixing scripts - 91

* Fixing scripts - 92

* Fixing scripts - 93

* Fixing scripts - 94

* Edits

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging the build script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Debugging script

* Edit

* Updating dotnet to 1.7.2

* Changing to dotnet 1.7.2

* Marking as unsupported by windows

* Fixing line numbers

* Update package.py to enable building a .NET Core release

* Temporarily using cached Options

* Temporarily not running dafny

* Disabling some tests for now

* Disabling windows run of tests for now

* Disabling refman build for now

* typo

* Fixing pdf generation

* Adding back refman

* Debugging refman build

* Debugging refman build

* Reverting to working configuration

* Increasing to 5 shards

Co-authored-by: davidcok <[email protected]>
Co-authored-by: Remy Willems <[email protected]>
Co-authored-by: davidcok <[email protected]>
Assets 2
Loading