Skip to content

Actions: w3c/mathml

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #517 from dginev/main
CI #346: Commit ab5e122 pushed by NSoiffer
November 14, 2024 01:35 2m 16s main
November 14, 2024 01:35 2m 16s
pages build and deployment
pages-build-deployment #801: by github-pages bot
November 14, 2024 01:31 43s
November 14, 2024 01:31 43s
November 14, 2024 01:31 1m 8s
CSS and Intent
CI #343: Pull request #517 opened by dginev
November 12, 2024 18:05 1m 11s dginev:main
November 12, 2024 18:05 1m 11s
pages build and deployment
pages-build-deployment #800: by github-pages bot
November 8, 2024 08:59 40s
November 8, 2024 08:59 40s
pages build and deployment
pages-build-deployment #799: by github-pages bot
November 8, 2024 08:59 31s
November 8, 2024 08:59 31s
avoid word change in this PR
CI #342: Commit a388709 pushed by davidcarlisle
November 8, 2024 08:58 1m 43s main
November 8, 2024 08:58 1m 43s
minor proofreading edits, 11/07/2024
CI #341: Pull request #516 synchronize by dginev
November 7, 2024 23:41 1m 18s dginev:proofreading-11072024
November 7, 2024 23:41 1m 18s
minor proofreading edits, 11/07/2024
CI #340: Pull request #516 opened by dginev
November 7, 2024 22:41 1m 9s dginev:proofreading-11072024
November 7, 2024 22:41 1m 9s
pages build and deployment
pages-build-deployment #798: by github-pages bot
November 7, 2024 01:24 43s
November 7, 2024 01:24 43s
pages build and deployment
pages-build-deployment #797: by github-pages bot
November 7, 2024 01:23 35s
November 7, 2024 01:23 35s
Merge pull request #514 from dginev/supported-concept-names
CI #338: Commit bd00786 pushed by NSoiffer
November 7, 2024 01:23 1m 45s main
November 7, 2024 01:23 1m 45s
supported/unsupported concept names
CI #336: Pull request #514 opened by dginev
November 5, 2024 17:52 1m 19s dginev:supported-concept-names
November 5, 2024 17:52 1m 19s
pages build and deployment
pages-build-deployment #796: by github-pages bot
November 1, 2024 22:29 40s
November 1, 2024 22:29 40s
pages build and deployment
pages-build-deployment #795: by github-pages bot
November 1, 2024 22:28 40s
November 1, 2024 22:28 40s
force rerun
CI #335: Commit 4b21a52 pushed by davidcarlisle
November 1, 2024 22:28 1m 43s main
November 1, 2024 22:28 1m 43s
pages build and deployment
pages-build-deployment #794: by github-pages bot
November 1, 2024 22:18 41s
November 1, 2024 22:18 41s
pages build and deployment
pages-build-deployment #793: by github-pages bot
November 1, 2024 22:17 35s
November 1, 2024 22:17 35s
Merge pull request #513 from brucemiller/main
CI #334: Commit 0c8e53b pushed by NSoiffer
November 1, 2024 22:17 2m 8s main
November 1, 2024 22:17 2m 8s
Rearrange Intent section
CI #333: Pull request #513 synchronize by brucemiller
November 1, 2024 14:39 1m 13s brucemiller:main
November 1, 2024 14:39 1m 13s
Rearrange Intent section
CI #332: Pull request #513 synchronize by brucemiller
November 1, 2024 13:47 1m 18s brucemiller:main
November 1, 2024 13:47 1m 18s
Rearrange Intent section
CI #331: Pull request #513 synchronize by brucemiller
October 31, 2024 15:41 1m 1s brucemiller:main
October 31, 2024 15:41 1m 1s