Changeset b6f39aa


Ignore:
Timestamp:
Jun 24, 2021, 11:56:24 AM (11 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr
Children:
44856ed
Parents:
27434e9
Message:

Forgot to add gcc-10/11 to jenkins options

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r27434e9 rb6f39aa  
    401401                                        description: 'Which compiler to use',                                   \
    402402                                        name: 'Compiler',                                                                       \
    403                                         choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',   \
     403                                        choices: 'gcc-11\ngcc-10\ngcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',   \
    404404                                        defaultValue: 'gcc-8',                                                          \
    405405                                ],                                                                                              \
Note: See TracChangeset for help on using the changeset viewer.