CI

Updated instructions #76

Sign in to view logs

Triggered via push February 12, 2026 14:11

RexMortem

main

Status Failure

Total duration 11s

Artifacts –

ci.yml

on: push

Check Formatting and Types

Publish built docker container

Annotations

1 error

No file in /home/runner/work/progcomp-web/progcomp-web matched to [**/Pipfile.lock], make sure you have checked out the target repository