Skip to content

Commit e5438d7

Browse files
authored
Add Miri build (#36)
1 parent af3d289 commit e5438d7

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: miri via miri nightly
3+
4+
on:
5+
schedule:
6+
- cron: '0 0 * * *'
7+
workflow_dispatch:
8+
9+
jobs:
10+
daily-build:
11+
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
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: miri
20+
name: miri
21+
command: build.sh
22+
args: nightly
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
@@ -60,6 +60,7 @@
6060
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-llvm.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-llvm.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%2Fllvm)![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%2Fllvm)
6161
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-llvm_spirv.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-llvm_spirv.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%2Fllvm_spirv)![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%2Fllvm_spirv)
6262
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-madpascal.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-madpascal.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%2Fmadpascal)![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%2Fmadpascal)
63+
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-miri.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-miri.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%2Fmiri)![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%2Fmiri)
6364
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-mlir_trunk.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-mlir_trunk.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%2Fmlir_trunk)![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%2Fmlir_trunk)
6465
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-movfuscator.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-movfuscator.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%2Fmovfuscator)![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%2Fmovfuscator)
6566
* [![Status](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-mrustc.yml/badge.svg)](https://github.com/compiler-explorer/compiler-workflows/actions/workflows//build-daily-mrustc.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%2Fmrustc)![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%2Fmrustc)

compilers.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,7 @@ compilers:
8989
- { image: mads, name: madpascal, args: trunk }
9090
- { image: clang, name: circt_trunk, command: build-circt.sh, args: trunk}
9191
- { image: clad, name: clad, args: trunk}
92+
- { image: miri, name: miri, command: build.sh, args: nightly }
9293

9394
ad_hoc:
9495
- { image: gcc, command: build.sh }

0 commit comments

Comments
 (0)