forked from model-checking/verify-rust-std
-
Notifications
You must be signed in to change notification settings - Fork 0
35 lines (31 loc) · 787 Bytes
/
rustc.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
# This workflow is responsible for building the standard library using the bootstrap script
# and executing the Rust regression.
name: Rust Tests
on:
workflow_dispatch:
merge_group:
pull_request:
branches: [ main ]
push:
paths:
- 'library/**'
- 'rust-toolchain.toml'
- '.github/workflows/rustc.yml'
- 'scripts/check_rustc.sh'
defaults:
run:
shell: bash
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
# Note windows-latest is currently failing.
os: [ubuntu-latest, macos-latest]
steps:
- name: Checkout Library
uses: actions/checkout@v4
with:
path: head
- name: Run rustc script
run: bash ./head/scripts/check_rustc.sh ${{github.workspace}}/head