Skip to content

Fix Github Actions #229

Fix Github Actions

Fix Github Actions #229

Workflow file for this run

# This is a basic workflow to help you get started with Actions
name: CI
# Controls when the workflow will run
on:
# Triggers the workflow on push or pull request events but only for the main branch
push:
branches: [ main ]
pull_request:
branches: [ main ]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- name: Update
run: sudo apt-get update
- name: Checkout
uses: actions/checkout@v3
with:
ref: firefox-release
# Bootstrap
- name: Bootstrap Build Environment
run: |
./mach --no-interactive bootstrap --application-choice=js
git checkout main
# Configure
- name: Copy configuration
run: cp taintfox_mozconfig_spidermonkey .mozconfig
# Build
- name: Build
run: ./mach build
# Test
- name: Test
run: obj-spider-release/dist/bin/js js/src/Y.js
- name: Taint Tests
run: python3 js/src/tests/parse_output.py