Skip to content

Actions: pi-base/web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
862 workflow runs
862 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: refs/heads/main may not exist, use more robust git rev-parse HEAD instead End-to-end tests #421: Pull request #207 synchronize by yhx-12243
January 19, 2025 04:43 6h 0m 11s yhx-12243:no-refs-heads-main
yhx-12243:no-refs-heads-main
January 19, 2025 04:43 6h 0m 11s
fix(viewer): Unneeded manual internal link; Fix target is in LaTeX End-to-end tests #420: Pull request #215 opened by yhx-12243
January 19, 2025 04:40 6h 0m 13s yhx-12243:unneeded-internal-link
yhx-12243:unneeded-internal-link
January 19, 2025 04:40 6h 0m 13s
flag redundant asserted traits (#211) Unit tests #629: Commit c571c93 pushed by StevenClontz
December 13, 2024 04:02 1m 17s main
main
December 13, 2024 04:02 1m 17s
flag redundant asserted traits End-to-end tests #419: Pull request #211 synchronize by StevenClontz
December 13, 2024 04:00 6h 0m 13s StevenClontz/redundant
StevenClontz/redundant
December 13, 2024 04:00 6h 0m 13s
refactor Unit tests #628: Commit f632813 pushed by StevenClontz
December 13, 2024 04:00 1m 24s StevenClontz/redundant
StevenClontz/redundant
December 13, 2024 04:00 1m 24s
flag redundant asserted traits End-to-end tests #418: Pull request #211 synchronize by StevenClontz
December 13, 2024 03:48 6h 0m 12s StevenClontz/redundant
StevenClontz/redundant
December 13, 2024 03:48 6h 0m 12s
add theorem list for redundancy Unit tests #627: Commit 5922ce7 pushed by StevenClontz
December 13, 2024 03:48 46s StevenClontz/redundant
StevenClontz/redundant
December 13, 2024 03:48 46s
flag redundant asserted traits End-to-end tests #417: Pull request #211 opened by StevenClontz
December 13, 2024 03:23 6h 0m 10s StevenClontz/redundant
StevenClontz/redundant
December 13, 2024 03:23 6h 0m 10s
flag redundant asserted traits Unit tests #626: Commit 2cb0345 pushed by StevenClontz
December 13, 2024 03:23 44s StevenClontz/redundant
StevenClontz/redundant
December 13, 2024 03:23 44s
fix: ?property formula (part 2), complete deduction (#208) Unit tests #625: Commit c0f7179 pushed by StevenClontz
December 12, 2024 21:01 1m 20s main
main
December 12, 2024 21:01 1m 20s
support ID filtering on indexes (#210) Unit tests #624: Commit 37eff57 pushed by StevenClontz
December 12, 2024 20:59 1m 17s main
main
December 12, 2024 20:59 1m 17s
support ID filtering on indexes End-to-end tests #416: Pull request #210 synchronize by StevenClontz
December 12, 2024 20:40 6h 0m 10s StevenClontz/useGetFn
StevenClontz/useGetFn
December 12, 2024 20:40 6h 0m 10s
lint 🧹 Unit tests #623: Commit 77c6040 pushed by StevenClontz
December 12, 2024 20:40 1m 25s StevenClontz/useGetFn
StevenClontz/useGetFn
December 12, 2024 20:40 1m 25s
support ID filtering on indexes End-to-end tests #415: Pull request #210 opened by StevenClontz
December 12, 2024 20:38 6h 0m 12s StevenClontz/useGetFn
StevenClontz/useGetFn
December 12, 2024 20:38 6h 0m 12s
support ID filtering on indexes Unit tests #622: Commit 19e3eed pushed by StevenClontz
December 12, 2024 20:38 44s StevenClontz/useGetFn
StevenClontz/useGetFn
December 12, 2024 20:38 44s
fix: ?property formula (part 2), complete deduction Unit tests #621: Commit ab7c5f0 pushed by StevenClontz
December 10, 2024 03:36 1m 16s pr208
pr208
December 10, 2024 03:36 1m 16s
fix: ?property formula (part 2), complete deduction End-to-end tests #414: Pull request #208 opened by yhx-12243
December 10, 2024 03:31 6h 0m 12s yhx-12243:question-property-p2
yhx-12243:question-property-p2
December 10, 2024 03:31 6h 0m 12s
fix: ?property formula, resolve #205 (#206) Unit tests #620: Commit 3cbe691 pushed by StevenClontz
December 10, 2024 02:38 1m 18s main
main
December 10, 2024 02:38 1m 18s
fix: ?property formula, resolve #205 Unit tests #619: Commit b2a0bc2 pushed by StevenClontz
December 10, 2024 02:33 1m 18s pr206
pr206
December 10, 2024 02:33 1m 18s
Removed duplicate logic in internalLinks.ts Unit tests #618: Commit 11b0e98 pushed by Not-Abram
December 6, 2024 18:50 1m 19s not-abram/external-markdown-enhancements
not-abram/external-markdown-enhancements
December 6, 2024 18:50 1m 19s
style: pass prettier Unit tests #617: Commit 0edbd3a pushed by StevenClontz
December 6, 2024 03:28 1m 4s pr202
pr202
December 6, 2024 03:28 1m 4s
Open Question Generator (#203) Unit tests #616: Commit e3004a6 pushed by StevenClontz
December 6, 2024 03:28 1m 22s main
main
December 6, 2024 03:28 1m 22s
Open Question Generator End-to-end tests #410: Pull request #203 synchronize by StevenClontz
December 6, 2024 03:15 6h 0m 15s StevenClontz/openquestion
StevenClontz/openquestion
December 6, 2024 03:15 6h 0m 15s
🧹 Unit tests #615: Commit afc2ec9 pushed by StevenClontz
December 6, 2024 03:15 1m 18s StevenClontz/openquestion
StevenClontz/openquestion
December 6, 2024 03:15 1m 18s
Open Question Generator End-to-end tests #409: Pull request #203 synchronize by StevenClontz
December 6, 2024 03:13 6h 0m 12s StevenClontz/openquestion
StevenClontz/openquestion
December 6, 2024 03:13 6h 0m 12s