Skip to content
GitHub macOS CI

Merge PR #6134: Interpreting a casted term in the scope bound to its … #56

Sign in to view logs

Merge PR #6134: Interpreting a casted term in the scope bound to its …

Merge PR #6134: Interpreting a casted term in the scope bound to its … #56

Triggered via push October 6, 2023 15:18
@VilletaneuseVilletaneuse
pushed 0b1e487
master
Status Success
Total duration 33m 43s
Artifacts –

ci-macos.yml

on: push
macOS
33m 30s
macOS
Fit to window
Zoom out
Zoom in