Build website, deploy to GH pages if on main

Explicit target / file for add_heir_dialect_library #4769

Sign in to view logs

Triggered via pull request January 8, 2025 12:24

ZenithalHourlyRate

opened #1247

ZenithalHourlyRate:fix-1242

Status Success

Total duration 5m 20s

Artifacts –

docs.yml

on: pull_request

build-and-deploy