Skip to content

Merge pull request #206 from Beluga-lang/main #283

Merge pull request #206 from Beluga-lang/main

Merge pull request #206 from Beluga-lang/main #283

Triggered via push September 15, 2024 02:02
Status Success
Total duration 7m 20s
Artifacts

ci_build.yaml

on: push
Completeness of _CoqProject
2s
Completeness of _CoqProject
Continuous Intergration
7m 11s
Continuous Intergration
Fit to window
Zoom out
Zoom in