Skip to content
Wrap releases

Improve definitions of vector spaces and algebras in the GAP Tutorial as discussed in #4112 #4210

Sign in to view logs

Improve definitions of vector spaces and algebras in the GAP Tutorial as discussed in #4112

Improve definitions of vector spaces and algebras in the GAP Tutorial as discussed in #4112 #4210

Triggered via pull request November 13, 2023 08:47
@schnellecomschnellecom
opened #5529
schnellecom:4112
Status Success
Total duration 1h 31m 44s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

release.yml

on: pull_request
Create Unix archives and data
22m 52s
Create Unix archives and data
Create Windows x86_64 installer
1h 8m
Create Windows x86_64 installer
Send Slack notification on status change
0s
Send Slack notification on status change
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
JSON metadata Expired
531 KB
gap Expired
491 MB