Skip to content

Actions: tc39/ecmarkup

Actions

check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set svg size in html check #764: Pull request #569 opened by bakkot
January 8, 2024 01:31 1m 3s svg-size
svg-size
January 8, 2024 01:31 1m 3s
basic typechecking check #763: Pull request #568 synchronize by bakkot
January 7, 2024 07:17 59s check-call-args
check-call-args
January 7, 2024 07:17 59s
basic typechecking check #762: Pull request #568 synchronize by bakkot
January 7, 2024 03:34 33s check-call-args
check-call-args
January 7, 2024 03:34 33s
basic typechecking check #761: Pull request #568 opened by bakkot
January 7, 2024 03:08 1m 0s check-call-args
check-call-args
January 7, 2024 03:08 1m 0s
Version 18.1.1 check #760: Commit 80e5610 pushed by bakkot
December 14, 2023 18:34 1m 1s main
main
December 14, 2023 18:34 1m 1s
allow "Repeat n times" (#567) check #759: Commit e7ae26b pushed by bakkot
December 14, 2023 18:33 1m 1s main
main
December 14, 2023 18:33 1m 1s
allow "Repeat n times" check #758: Pull request #567 synchronize by bakkot
December 14, 2023 18:31 1m 3s repeat-n
repeat-n
December 14, 2023 18:31 1m 3s
allow "Repeat n times" check #757: Pull request #567 opened by bakkot
December 14, 2023 18:06 1m 5s repeat-n
repeat-n
December 14, 2023 18:06 1m 5s
fix help text for --load-biblio CLI flag (#565) check #756: Commit 4510c82 pushed by bakkot
December 7, 2023 19:07 1m 3s main
main
December 7, 2023 19:07 1m 3s
fix help text for --load-biblio CLI flag check #755: Pull request #565 opened by michaelficarra
December 7, 2023 18:08 1m 4s michaelficarra-patch-1
michaelficarra-patch-1
December 7, 2023 18:08 1m 4s
Version 18.1.0 check #753: Commit 08aa4a7 pushed by bakkot
November 3, 2023 21:25 1m 12s main
main
November 3, 2023 21:25 1m 12s
add pin-related shortcuts to help modal (#562) check #752: Commit 39c2281 pushed by bakkot
November 3, 2023 21:24 1m 18s main
main
November 3, 2023 21:24 1m 18s
add pin-related shortcuts to help modal check #751: Pull request #562 opened by bakkot
November 3, 2023 21:19 59s more-help
more-help
November 3, 2023 21:19 59s
add support for keyboard 0 selecting pin number 10 (#561) check #750: Commit 147364a pushed by bakkot
November 3, 2023 21:17 1m 3s main
main
November 3, 2023 21:17 1m 3s
add support for keyboard 0 selecting pin number 10 check #749: Pull request #561 synchronize by bakkot
November 3, 2023 21:13 1m 29s zero
zero
November 3, 2023 21:13 1m 29s
add unpinning buttons and clear button to pin list (#560) check #748: Commit b3ad219 pushed by bakkot
November 3, 2023 21:13 1m 3s main
main
November 3, 2023 21:13 1m 3s
add unpinning buttons and clear button to pin list check #747: Pull request #560 synchronize by bakkot
November 3, 2023 21:11 59s GH-438
GH-438
November 3, 2023 21:11 59s
remove some no-longer-necessary special cases from the typechecker check #746: Commit 8b55cdb pushed by bakkot
November 3, 2023 21:10 1m 15s main
main
November 3, 2023 21:10 1m 15s
add "skip global checks" attribute for AOs check #745: Pull request #559 synchronize by bakkot
November 3, 2023 21:05 1m 23s external-aos
external-aos
November 3, 2023 21:05 1m 23s
add unpinning buttons and clear button to pin list check #744: Pull request #560 synchronize by michaelficarra
November 2, 2023 20:22 1m 25s GH-438
GH-438
November 2, 2023 20:22 1m 25s
add unpinning buttons and clear button to pin list check #743: Pull request #560 synchronize by michaelficarra
November 2, 2023 20:11 1m 2s GH-438
GH-438
November 2, 2023 20:11 1m 2s
add unpinning buttons and clear button to pin list check #742: Pull request #560 synchronize by michaelficarra
November 2, 2023 19:58 1m 3s GH-438
GH-438
November 2, 2023 19:58 1m 3s
add support for keyboard 0 selecting pin number 10 check #741: Pull request #561 opened by michaelficarra
November 2, 2023 17:11 1m 43s zero
zero
November 2, 2023 17:11 1m 43s
add unpinning buttons and clear button to pin list check #740: Pull request #560 synchronize by michaelficarra
November 2, 2023 16:58 1m 54s GH-438
GH-438
November 2, 2023 16:58 1m 54s
add unpinning buttons and clear button to pin list check #739: Pull request #560 synchronize by michaelficarra
November 2, 2023 16:55 40s GH-438
GH-438
November 2, 2023 16:55 40s