Skip to content

Factor out edge types #175

Factor out edge types

Factor out edge types #175

Triggered via push August 4, 2024 23:40
Status Cancelled
Total duration 3m 25s
Artifacts 22

verify.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 20 warnings
verify (02): verify/graph/euler_directed.test.cpp#L1
Failed to compile verify/graph/euler_directed.test.cpp
verify (05): verify/number_theory/discrete_log.test.cpp#L1
Failed to test verify/number_theory/discrete_log.test.cpp
verify (03): verify/graph/euler_undirected.test.cpp#L1
Failed to compile verify/graph/euler_undirected.test.cpp
verify (00): verify/graph/cycle_directed.test.cpp#L1
Failed to compile verify/graph/cycle_directed.test.cpp
verify (01): verify/graph/cycle_undirected.test.cpp#L1
Failed to compile verify/graph/cycle_undirected.test.cpp
docs-and-check
Canceling since a higher priority waiting request for 'pages' exists
docs-and-check
The operation was canceled.
verify (17)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (15)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (13)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (06)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (08)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (09)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (14)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (19)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (07)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (11)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (12)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (16)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (18)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (10)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (02)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (05)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (03)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (00)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (04)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (01)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
Bundled-Linux Expired
401 KB
Linux-verify-files-json Expired
5.64 KB
Result-Linux-00 Expired
19.3 KB
Result-Linux-01 Expired
19.3 KB
Result-Linux-02 Expired
19.3 KB
Result-Linux-03 Expired
19.3 KB
Result-Linux-04 Expired
19.4 KB
Result-Linux-05 Expired
19.3 KB
Result-Linux-06 Expired
19.3 KB
Result-Linux-07 Expired
19.3 KB
Result-Linux-08 Expired
19.3 KB
Result-Linux-09 Expired
19.3 KB
Result-Linux-10 Expired
19.3 KB
Result-Linux-11 Expired
19.3 KB
Result-Linux-12 Expired
19.3 KB
Result-Linux-13 Expired
19.3 KB
Result-Linux-14 Expired
19.3 KB
Result-Linux-15 Expired
19.3 KB
Result-Linux-16 Expired
19.3 KB
Result-Linux-17 Expired
19.3 KB
Result-Linux-18 Expired
19.3 KB
Result-Linux-19 Expired
19.3 KB