Skip to content

CI (AGP) - 2023-08-22 04:55 #3000

CI (AGP) - 2023-08-22 04:55

CI (AGP) - 2023-08-22 04:55 #3000

Workflow file for this run

---
name: Artifacts
on:
push:
branches:
- coq
schedule:
- cron: "0 0 * * *" # daily
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Setup Python
uses: actions/setup-python@v3
- name: Build
env:
CI_TOKEN: ${{ secrets.CI_TOKEN }}
run: |-
make build