Skip to content

Actions: w3c/mathml-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #180: by github-pages bot
November 22, 2023 14:36 42s
November 22, 2023 14:36 42s
Make ::first-letter and ::first-line pseudo-elements not applied to e… CI #80: Commit be0f692 pushed by fred-wang
November 22, 2023 14:36 46s main
main
November 22, 2023 14:36 46s
pages build and deployment pages-build-deployment #179: by github-pages bot
November 22, 2023 14:19 41s
November 22, 2023 14:19 41s
pages build and deployment pages-build-deployment #178: by github-pages bot
November 22, 2023 14:18 49s
November 22, 2023 14:18 49s
Rewrite section for SVG/HTML: CI #79: Commit 6d393b5 pushed by fred-wang
November 22, 2023 14:18 1m 4s main
main
November 22, 2023 14:18 1m 4s
pages build and deployment pages-build-deployment #177: by github-pages bot
October 30, 2023 19:05 47s
October 30, 2023 19:05 47s
pages build and deployment pages-build-deployment #176: by github-pages bot
October 30, 2023 19:04 1m 5s
October 30, 2023 19:04 1m 5s
keep index in git CI #78: Commit ee46e5b pushed by davidcarlisle
October 30, 2023 19:04 1m 29s main
main
October 30, 2023 19:04 1m 29s
pages build and deployment pages-build-deployment #175: by github-pages bot
October 30, 2023 19:00 52s
October 30, 2023 19:00 52s
pages build and deployment pages-build-deployment #174: by github-pages bot
October 30, 2023 18:59 56s
October 30, 2023 18:59 56s
WD CI #77: Commit 42b11ab pushed by davidcarlisle
October 30, 2023 18:58 1m 11s main
main
October 30, 2023 18:58 1m 11s
pages build and deployment pages-build-deployment #173: by github-pages bot
October 30, 2023 18:57 58s
October 30, 2023 18:57 58s
pages build and deployment pages-build-deployment #172: by github-pages bot
October 30, 2023 18:56 53s
October 30, 2023 18:56 53s
force regen CI #76: Commit f66367b pushed by davidcarlisle
October 30, 2023 18:56 1m 2s main
main
October 30, 2023 18:56 1m 2s
pages build and deployment pages-build-deployment #171: by davidcarlisle
October 30, 2023 18:54 52s
October 30, 2023 18:54 52s
pages build and deployment pages-build-deployment #170: by github-pages bot
October 30, 2023 18:00 55s
October 30, 2023 18:00 55s
CR again CI #75: Commit 1d6211c pushed by davidcarlisle
October 30, 2023 18:00 46s main
main
October 30, 2023 18:00 46s
pages build and deployment pages-build-deployment #169: by github-pages bot
October 30, 2023 17:21 1m 1s
October 30, 2023 17:21 1m 1s
WD CI #74: Commit 0f227fe pushed by davidcarlisle
October 30, 2023 17:20 1m 6s main
main
October 30, 2023 17:20 1m 6s
pages build and deployment pages-build-deployment #168: by github-pages bot
October 24, 2023 19:06 58s
October 24, 2023 19:06 58s
pages build and deployment pages-build-deployment #167: by github-pages bot
October 24, 2023 19:04 56s
October 24, 2023 19:04 56s
in not to CI #73: Commit a0f15c4 pushed by davidcarlisle
October 24, 2023 19:04 1m 32s main
main
October 24, 2023 19:04 1m 32s
pages build and deployment pages-build-deployment #166: by github-pages bot
October 7, 2023 11:47 50s
October 7, 2023 11:47 50s
pages build and deployment pages-build-deployment #165: by github-pages bot
October 7, 2023 11:46 44s
October 7, 2023 11:46 44s
rename readme as over-writing index.html generation CI #72: Commit 49d873d pushed by davidcarlisle
October 7, 2023 11:46 1m 18s main
main
October 7, 2023 11:46 1m 18s