Skip to content
Type check and publish library

fixup! Remove outdated definitions of action containers in terms of h… #4

Sign in to view logs

fixup! Remove outdated definitions of action containers in terms of h…

fixup! Remove outdated definitions of action containers in terms of h… #4

Triggered via push December 18, 2024 15:56
@phijorphijor
pushed 972fa53
main
Status Cancelled
Total duration 1m 15s
Artifacts –

publish.yml

on: push
render
1m 4s
render
Deploy rendered Agda code to Pages
0s
Deploy rendered Agda code to Pages
Fit to window
Zoom out
Zoom in

Annotations

2 errors
render
The run was canceled by @phijor.
render
The operation was canceled.