Skip to content

Commit 06101a3

Browse files
authored
Add @EricWF clang contracts compiler (#25)
1 parent 9866ef5 commit 06101a3

File tree

3 files changed

+26
-0
lines changed

3 files changed

+26
-0
lines changed
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
### DO NOT EDIT - created by a script ###
2+
name: clang_ericwf_contracts via clang ericwf-contracts-trunk
3+
4+
on:
5+
schedule:
6+
- cron: '0 0 * * *'
7+
workflow_dispatch:
8+
9+
jobs:
10+
daily-build:
11+
runs-on: [ 'self-hosted', 'ce', 'ubuntu' ]
12+
steps:
13+
- name: Start from a clean directory
14+
uses: AutoModality/[email protected]
15+
- uses: actions/checkout@v4
16+
- name: Run the build
17+
uses: ./.github/actions/daily-build
18+
with:
19+
image: clang
20+
name: clang_ericwf_contracts
21+
command: build.sh
22+
args: ericwf-contracts-trunk
23+
AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
24+
AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}

build-status.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@
1515
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_cppx_ext.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_cppx_ext.yml)![Last success](https://img.shields.io/badge/dynamic/json?color=success&label=Last+OK&query=%24.last_success.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_cppx_ext)![Last build](https://img.shields.io/badge/dynamic/json?color=yellow&label=Last+build&query=%24.last_build.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_cppx_ext)
1616
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_cppx_p2320.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_cppx_p2320.yml)![Last success](https://img.shields.io/badge/dynamic/json?color=success&label=Last+OK&query=%24.last_success.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_cppx_p2320)![Last build](https://img.shields.io/badge/dynamic/json?color=yellow&label=Last+build&query=%24.last_build.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_cppx_p2320)
1717
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_dascandy_contracts.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_dascandy_contracts.yml)![Last success](https://img.shields.io/badge/dynamic/json?color=success&label=Last+OK&query=%24.last_success.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_dascandy_contracts)![Last build](https://img.shields.io/badge/dynamic/json?color=yellow&label=Last+build&query=%24.last_build.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_dascandy_contracts)
18+
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_ericwf_contracts.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_ericwf_contracts.yml)![Last success](https://img.shields.io/badge/dynamic/json?color=success&label=Last+OK&query=%24.last_success.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_ericwf_contracts)![Last build](https://img.shields.io/badge/dynamic/json?color=yellow&label=Last+build&query=%24.last_build.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_ericwf_contracts)
1819
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_ir.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_ir.yml)![Last success](https://img.shields.io/badge/dynamic/json?color=success&label=Last+OK&query=%24.last_success.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_ir)![Last build](https://img.shields.io/badge/dynamic/json?color=yellow&label=Last+build&query=%24.last_build.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_ir)
1920
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_lifetime.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_lifetime.yml)![Last success](https://img.shields.io/badge/dynamic/json?color=success&label=Last+OK&query=%24.last_success.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_lifetime)![Last build](https://img.shields.io/badge/dynamic/json?color=yellow&label=Last+build&query=%24.last_build.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_lifetime)
2021
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_llvmflang.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-clang_llvmflang.yml)![Last success](https://img.shields.io/badge/dynamic/json?color=success&label=Last+OK&query=%24.last_success.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_llvmflang)![Last build](https://img.shields.io/badge/dynamic/json?color=yellow&label=Last+build&query=%24.last_build.timestamp&url=https%3A%2F%2Flambda.compiler-explorer.com%2Fcompiler-build%2Fclang_llvmflang)

compilers.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@ compilers:
2323
- { image: clang, name: clang_cppx_ext, args: cppx-ext-trunk }
2424
- { image: clang, name: clang_cppx_p2320, args: cppx-p2320-trunk }
2525
- { image: clang, name: clang_dascandy_contracts, args: dascandy-contracts-trunk }
26+
- { image: clang, name: clang_ericwf_contracts, args: ericwf-contracts-trunk }
2627
- { image: clang, name: clang_ir, args: clangir-trunk }
2728
- { image: clang, name: clang_lifetime, args: lifetime-trunk }
2829
- { image: clang, name: clang_llvmflang, args: llvmflang-trunk }

0 commit comments

Comments
 (0)