Skip to content

[homalg_project] Update ToolsForHomalg to 2024.09-01 #2234

[homalg_project] Update ToolsForHomalg to 2024.09-01

[homalg_project] Update ToolsForHomalg to 2024.09-01 #2234

Triggered via pull request September 20, 2024 09:11
Status Success
Total duration 29m 28s
Artifacts 2

pull-request.yml

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

Artifacts

Produced during runtime
Name Size
gap-master Expired
891 MB
report-master Expired
14.6 KB