Skip to content
Build and test

Merge pull request #156 from n-osborne/conjunctive-clauses #83

Sign in to view logs

Merge pull request #156 from n-osborne/conjunctive-clauses

Merge pull request #156 from n-osborne/conjunctive-clauses #83

Triggered via push October 17, 2023 07:03
@n-osbornen-osborne
pushed df6e4bd
main
Status Success
Total duration 14m 48s
Artifacts –

build.yml

on: push
test
14m 38s
test
Fit to window
Zoom out
Zoom in

Annotations

1 notice
test
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100