Skip to content
Build thys

Merge branch 'master' of github.com:jvanbruegge/binder_datatypes #160

Sign in to view logs

Merge branch 'master' of github.com:jvanbruegge/binder_datatypes

Merge branch 'master' of github.com:jvanbruegge/binder_datatypes #160

Triggered via push September 24, 2024 21:23
@dtrayteldtraytel
pushed 7457641
master
Status Failure
Total duration 6h 0m 14s
Artifacts –

build_theories.yml

on: push
build
6h 0m
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The job running on runner GitHub Actions 26 has exceeded the maximum execution time of 360 minutes.
build
The operation was canceled.