Skip to content

Actions: RAIRLab/Peirce-My-Heart

Actions

Validate Documentation Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validateDocs.yml
504 workflow runs
504 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Typedoc entry points Validate Documentation Build #513: Pull request #277 synchronize by RyanR712
December 3, 2023 12:27 34s 269-update-typedoc
269-update-typedoc
December 3, 2023 12:27 34s
Typedoc entry points Validate Documentation Build #512: Pull request #277 opened by RyanR712
December 3, 2023 12:07 24s 269-update-typedoc
269-update-typedoc
December 3, 2023 12:07 24s
Documentation and wording stuff! Validate Documentation Build #511: Pull request #276 synchronize by RyanR712
December 3, 2023 11:46 29s 154-fix-existing-documentation
154-fix-existing-documentation
December 3, 2023 11:46 29s
Documentation and wording stuff! Validate Documentation Build #510: Pull request #276 opened by RyanR712
December 3, 2023 03:06 27s 154-fix-existing-documentation
154-fix-existing-documentation
December 3, 2023 03:06 27s
Copy after global move quick bug squash Validate Documentation Build #509: Pull request #275 opened by RyanR712
December 3, 2023 02:36 28s 266-copy-single-for-cut-after-a-global-move-does-not-redraw-from-new-position
266-copy-single-for-cut-after-a-global-move-does-not-redraw-from-new-position
December 3, 2023 02:36 28s
Playwright integration! Validate Documentation Build #508: Pull request #149 synchronize by RyanR712
December 3, 2023 02:10 34s 147-Playwright-integration-and-tests
147-Playwright-integration-and-tests
December 3, 2023 02:10 34s
Playwright integration! Validate Documentation Build #507: Pull request #149 synchronize by RyanR712
December 3, 2023 00:39 33s 147-Playwright-integration-and-tests
147-Playwright-integration-and-tests
December 3, 2023 00:39 33s
Playwright integration! Validate Documentation Build #506: Pull request #149 synchronize by RyanR712
December 2, 2023 23:48 28s 147-Playwright-integration-and-tests
147-Playwright-integration-and-tests
December 2, 2023 23:48 28s
It works it is just ugly with HTML/CSS I don't know how to fix this. Validate Documentation Build #505: Pull request #264 synchronize by AnushaTiwari5
December 2, 2023 00:58 27s 230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
December 2, 2023 00:58 27s
Select proof tree to work on Validate Documentation Build #504: Pull request #274 synchronize by AnushaTiwari5
December 2, 2023 00:16 25s select-proof-tree-to-work-on
select-proof-tree-to-work-on
December 2, 2023 00:16 25s
Playwright integration! Validate Documentation Build #503: Pull request #149 synchronize by RyanR712
December 2, 2023 00:16 30s 147-Playwright-integration-and-tests
147-Playwright-integration-and-tests
December 2, 2023 00:16 30s
It works it is just ugly with HTML/CSS I don't know how to fix this. Validate Documentation Build #502: Pull request #264 synchronize by AnushaTiwari5
December 2, 2023 00:15 29s 230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
December 2, 2023 00:15 29s
Bump typescript from 5.2.2 to 5.3.2 Validate Documentation Build #501: Pull request #261 synchronize by dependabot bot
December 1, 2023 18:05 19s dependabot/npm_and_yarn/typescript-5.3.2
dependabot/npm_and_yarn/typescript-5.3.2
December 1, 2023 18:05 19s
Bump @types/wicg-file-system-access from 2023.10.3 to 2023.10.4 Validate Documentation Build #500: Pull request #263 synchronize by dependabot bot
December 1, 2023 18:01 31s dependabot/npm_and_yarn/types/wicg-file-system-access-2023.10.4
dependabot/npm_and_yarn/types/wicg-file-system-access-2023.10.4
December 1, 2023 18:01 31s
Bump vite from 4.5.0 to 5.0.2 Validate Documentation Build #499: Pull request #260 synchronize by James-Oswald
November 30, 2023 15:33 35s dependabot/npm_and_yarn/vite-5.0.2
dependabot/npm_and_yarn/vite-5.0.2
November 30, 2023 15:33 35s
It works it is just ugly with HTML/CSS I don't know how to fix this. Validate Documentation Build #498: Pull request #264 synchronize by DawnTheWitch
November 29, 2023 23:45 27s 230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
November 29, 2023 23:45 27s
It works it is just ugly with HTML/CSS I don't know how to fix this. Validate Documentation Build #497: Pull request #264 synchronize by DawnTheWitch
November 29, 2023 16:50 28s 230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
November 29, 2023 16:50 28s
Select proof tree to work on Validate Documentation Build #496: Pull request #274 synchronize by AnushaTiwari5
November 29, 2023 01:13 30s select-proof-tree-to-work-on
select-proof-tree-to-work-on
November 29, 2023 01:13 30s
Select proof tree to work on Validate Documentation Build #495: Pull request #274 reopened by AnushaTiwari5
November 29, 2023 01:09 30s select-proof-tree-to-work-on
select-proof-tree-to-work-on
November 29, 2023 01:09 30s
Select proof tree to work on Validate Documentation Build #494: Pull request #274 synchronize by AnushaTiwari5
November 29, 2023 01:02 28s select-proof-tree-to-work-on
select-proof-tree-to-work-on
November 29, 2023 01:02 28s
Select proof tree to work on Validate Documentation Build #493: Pull request #274 synchronize by AnushaTiwari5
November 29, 2023 00:43 31s select-proof-tree-to-work-on
select-proof-tree-to-work-on
November 29, 2023 00:43 31s
Playwright integration! Validate Documentation Build #492: Pull request #149 synchronize by RyanR712
November 28, 2023 15:20 32s 147-Playwright-integration-and-tests
147-Playwright-integration-and-tests
November 28, 2023 15:20 32s
Playwright integration! Validate Documentation Build #491: Pull request #149 synchronize by RyanR712
November 28, 2023 14:40 26s 147-Playwright-integration-and-tests
147-Playwright-integration-and-tests
November 28, 2023 14:40 26s
It works it is just ugly with HTML/CSS I don't know how to fix this. Validate Documentation Build #490: Pull request #264 synchronize by RyanR712
November 28, 2023 14:36 28s 230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
230-proof-history-bar-keep-track-of-previous-aegs-and-load-them-when-clicked
November 28, 2023 14:36 28s
Playwright integration! Validate Documentation Build #489: Pull request #149 synchronize by RyanR712
November 28, 2023 14:08 35s 147-Playwright-integration-and-tests
147-Playwright-integration-and-tests
November 28, 2023 14:08 35s
ProTip! You can narrow down the results and go further in time using created:<2023-11-28 or the other filters available.