Skip to content
PR

[normalizinterface] Update to 1.3.7 #2148

Sign in to view logs

[normalizinterface] Update to 1.3.7

[normalizinterface] Update to 1.3.7 #2148

Triggered via pull request August 28, 2024 10:09
@gap-package-distribution-botgap-package-distribution-bot[bot]
opened #999
automatic/normalizinterface
Status Success
Total duration 30m 27s
Artifacts 2

pull-request.yml

on: pull_request
Detect affected packages
1m 4s
Detect affected packages
master  /  Build GAP and packages
16m 30s
master / Build GAP and packages
Matrix: master / test-package
master  /  Generate report
13s
master / Generate report
Create or update PR comment
4s
Create or update PR comment
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
gap-master Expired
883 MB
sha256:5eae3a07eea3f1882da15f77a3a8c3722f31e8c0c919021deda191aac59d6faa
report-master Expired
14.4 KB
sha256:e991e16914132a2d905aa547864a00dbe517734e093c40914fb1162fb8ede072