Skip to content
Build

[ ci, fix ] Fix upstream fix repository expression getting (#78) #616

Sign in to view logs

[ ci, fix ] Fix upstream fix repository expression getting (#78)

[ ci, fix ] Fix upstream fix repository expression getting (#78) #616

Triggered via push November 25, 2024 16:51
@buzdenbuzden
pushed 61a57dd
main
Status Success
Total duration 57s
Artifacts –

ci-lib.yml

on: push
Build the lib with Idris2 HEAD
47s
Build the lib with Idris2 HEAD
Build the lib with Idris2 at PR state
0s
Build the lib with Idris2 at PR state
Fit to window
Zoom out
Zoom in