Skip to content

fix: curio seal: Check ticket age before sending PreCommit message #21

fix: curio seal: Check ticket age before sending PreCommit message

fix: curio seal: Check ticket age before sending PreCommit message #21

Workflow file for this run

name: Build
on:
pull_request:
push:
branches:
- master
- release/*
workflow_dispatch:
defaults:
run:
shell: bash
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
name: Build
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: 'recursive'
- uses: ./.github/actions/install-ubuntu-deps
- uses: ./.github/actions/install-go
- run: make deps lotus