Add Posetal Reflections #1191
+282
−163
Draft
Add Posetal Reflections #1191
Annotations
1 error
|
Test cubical
Process completed with exit code 2.
|
Set up job
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.
Install cabal
1m 53s
1m 53s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Restore external dependencies cache
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.
Download and install Agda from github
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.
Download and install fix-whitespace
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.
Save external dependencies cache
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.
Checkout cubical
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Restore library cache
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Put cabal programs in PATH
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.
Test cubical
16s
16s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Save library cache
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.
Htmlize cubical
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.
Deploy to GitHub Pages
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.
Post Checkout cubical
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