Skip to content
CI

Put src/system.pl back under version control #8

Sign in to view logs

Put src/system.pl back under version control

Put src/system.pl back under version control #8

Triggered via pull request August 6, 2026 11:37
@FredMesnardFredMesnard
opened #6
revert/track-system-pl
Status Success
Total duration 55s
Artifacts 2

ci.yml

on: pull_request
emacs mode
52s
emacs mode
Matrix: proofs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
tmp-gprolog
231 KB
sha256:2b42de62c33842b312fde9aeec6a4709507322019523f1178c67174354a1d2c7
tmp-swi
230 KB
sha256:6b9544c67ed0dec3c4ad20160bf6e1fd66cb614ae02542542c29ebe521fa62fb