Surreal numbers - Cofinality and Coinitiality #8929
Set up job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/checkout@v3
5s
5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/setup-python@v4
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run wget -N https://raw.githubusercontent.com/david-a-wheeler/mmverify.py/master/mmverify.py
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run sed -E '/^ *vprint\(/d' mmverify.py > mmverify.faster.py
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run chmod a+x mmverify.faster.py
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run ./mmverify.faster.py set.mm
27s
27s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/setup-python@v4
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/checkout@v3
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading