Skip to content

Actions: tc39/ecmarkup

Actions

enforce-format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
enforce-format.yml
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set svg size in html enforce-format #180: Pull request #569 opened by bakkot
January 8, 2024 01:31 21s svg-size
svg-size
January 8, 2024 01:31 21s
basic typechecking enforce-format #179: Pull request #568 synchronize by bakkot
January 7, 2024 07:17 26s check-call-args
check-call-args
January 7, 2024 07:17 26s
basic typechecking enforce-format #178: Pull request #568 synchronize by bakkot
January 7, 2024 03:34 27s check-call-args
check-call-args
January 7, 2024 03:34 27s
basic typechecking enforce-format #177: Pull request #568 opened by bakkot
January 7, 2024 03:08 26s check-call-args
check-call-args
January 7, 2024 03:08 26s
Version 18.1.1 enforce-format #176: Commit 80e5610 pushed by bakkot
December 14, 2023 18:34 21s main
main
December 14, 2023 18:34 21s
allow "Repeat n times" (#567) enforce-format #175: Commit e7ae26b pushed by bakkot
December 14, 2023 18:33 27s main
main
December 14, 2023 18:33 27s
allow "Repeat n times" enforce-format #174: Pull request #567 synchronize by bakkot
December 14, 2023 18:31 25s repeat-n
repeat-n
December 14, 2023 18:31 25s
allow "Repeat n times" enforce-format #173: Pull request #567 opened by bakkot
December 14, 2023 18:06 30s repeat-n
repeat-n
December 14, 2023 18:06 30s
fix help text for --load-biblio CLI flag (#565) enforce-format #172: Commit 4510c82 pushed by bakkot
December 7, 2023 19:07 32s main
main
December 7, 2023 19:07 32s
fix help text for --load-biblio CLI flag enforce-format #171: Pull request #565 opened by michaelficarra
December 7, 2023 18:08 24s michaelficarra-patch-1
michaelficarra-patch-1
December 7, 2023 18:08 24s
Version 18.1.0 enforce-format #169: Commit 08aa4a7 pushed by bakkot
November 3, 2023 21:25 25s main
main
November 3, 2023 21:25 25s
add pin-related shortcuts to help modal (#562) enforce-format #168: Commit 39c2281 pushed by bakkot
November 3, 2023 21:24 32s main
main
November 3, 2023 21:24 32s
add pin-related shortcuts to help modal enforce-format #167: Pull request #562 opened by bakkot
November 3, 2023 21:19 25s more-help
more-help
November 3, 2023 21:19 25s
add support for keyboard 0 selecting pin number 10 (#561) enforce-format #166: Commit 147364a pushed by bakkot
November 3, 2023 21:17 34s main
main
November 3, 2023 21:17 34s
add support for keyboard 0 selecting pin number 10 enforce-format #165: Pull request #561 synchronize by bakkot
November 3, 2023 21:13 23s zero
zero
November 3, 2023 21:13 23s
add unpinning buttons and clear button to pin list (#560) enforce-format #164: Commit b3ad219 pushed by bakkot
November 3, 2023 21:13 25s main
main
November 3, 2023 21:13 25s
add unpinning buttons and clear button to pin list enforce-format #163: Pull request #560 synchronize by bakkot
November 3, 2023 21:11 25s GH-438
GH-438
November 3, 2023 21:11 25s
remove some no-longer-necessary special cases from the typechecker enforce-format #162: Commit 8b55cdb pushed by bakkot
November 3, 2023 21:10 38s main
main
November 3, 2023 21:10 38s
add "skip global checks" attribute for AOs enforce-format #161: Pull request #559 synchronize by bakkot
November 3, 2023 21:05 27s external-aos
external-aos
November 3, 2023 21:05 27s
add unpinning buttons and clear button to pin list enforce-format #160: Pull request #560 synchronize by michaelficarra
November 2, 2023 20:22 25s GH-438
GH-438
November 2, 2023 20:22 25s
add unpinning buttons and clear button to pin list enforce-format #159: Pull request #560 synchronize by michaelficarra
November 2, 2023 20:11 32s GH-438
GH-438
November 2, 2023 20:11 32s
add unpinning buttons and clear button to pin list enforce-format #158: Pull request #560 synchronize by michaelficarra
November 2, 2023 19:58 28s GH-438
GH-438
November 2, 2023 19:58 28s
add support for keyboard 0 selecting pin number 10 enforce-format #157: Pull request #561 opened by michaelficarra
November 2, 2023 17:11 32s zero
zero
November 2, 2023 17:11 32s
add unpinning buttons and clear button to pin list enforce-format #156: Pull request #560 synchronize by michaelficarra
November 2, 2023 16:58 23s GH-438
GH-438
November 2, 2023 16:58 23s
add unpinning buttons and clear button to pin list enforce-format #155: Pull request #560 synchronize by michaelficarra
November 2, 2023 16:55 27s GH-438
GH-438
November 2, 2023 16:55 27s