Skip to content

Actions: FourMInfo/Math_Foundations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Scheduled CodeQL #56: by github-advanced-security AI
43s main
main
43s
CI CI #145: Manually run by AronT-TLV
14m 14s main
main
14m 14s
Fix docstring formatting/signature bugs; drop broken export (#30) CI #144: Commit 29309a4 pushed by AronT-TLV
6m 34s main
main
6m 34s
Push on main CodeQL #55: by AronT-TLV
47s main
main
47s
Fix docstring formatting/signature bugs; drop broken export CI #143: Pull request #30 opened by AronT-TLV
14m 49s docs/docstring-formatting-audit
docs/docstring-formatting-audit
14m 49s
PR #30 CodeQL #54: by AronT-TLV
48s refs/pull/30/head
refs/pull/30/head
48s
Scheduled CodeQL #53: by github-advanced-security AI
51s main
main
51s
Push on main CodeQL #52: by AronT-TLV
50s main
main
50s
Adopt canonical muted color palette + Inter font for Documenter theme… CI #142: Commit 8448cc8 pushed by AronT-TLV
8m 7s main
main
8m 7s
Adopt canonical muted color palette + Inter font for Documenter theme CI #141: Pull request #29 opened by AronT-TLV
14m 52s docs/muted-color-palette
docs/muted-color-palette
14m 52s
PR #29 CodeQL #51: by AronT-TLV
41s refs/pull/29/head
refs/pull/29/head
41s
Scheduled CodeQL #50: by github-advanced-security AI
52s main
main
52s
Scheduled CodeQL #49: by github-advanced-security AI
42s main
main
42s
Switch site domain references from study.fourm.info to fourm.info (#28) CI #140: Commit 8e49618 pushed by AronT-TLV
8m 16s main
main
8m 16s
Push on main CodeQL #48: by github-advanced-security AI
1m 7s main
main
1m 7s
Switch site domain references from study.fourm.info to fourm.info CI #139: Pull request #28 opened by AronT-TLV
15m 19s docs/switch-to-fourm-info-domain
docs/switch-to-fourm-info-domain
15m 19s
PR #28 CodeQL #47: by AronT-TLV
38s refs/pull/28/head
refs/pull/28/head
38s
Scheduled CodeQL #46: by github-advanced-security AI
55s main
main
55s
Fix stale DrWatson-era README.md (#27) CI #138: Commit 7e8d8e9 pushed by AronT-TLV
8m 35s main
main
8m 35s
Push on main CodeQL #45: by github-advanced-security AI
59s main
main
59s
Fix stale DrWatson-era README.md CI #137: Pull request #27 opened by AronT-TLV
14m 30s fix/readme-drwatson-truth-up
fix/readme-drwatson-truth-up
14m 30s
PR #27 CodeQL #44: by AronT-TLV
43s refs/pull/27/head
refs/pull/27/head
43s
Scheduled CodeQL #43: by github-advanced-security AI
42s main
main
42s
Scheduled CodeQL #42: by github-advanced-security AI
45s main
main
45s
Remove unused Latexify from root deps, module reexport, and basic_mat… CI #136: Commit 8767f63 pushed by AronT-TLV
1m 42s main
main
1m 42s