Skip to content

Actions: json-schema-org/json-schema-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,117 workflow runs
1,117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more clarity JSON Schema #293: Commit 94bdd23 pushed by gregsdennis
October 11, 2024 19:46 42s gregsdennis/id-updates
gregsdennis/id-updates
October 11, 2024 19:46 42s
$id updates Check PR Dependencies #293: Pull request #1537 synchronize by gregsdennis
October 11, 2024 19:45 11s gregsdennis/id-updates
gregsdennis/id-updates
October 11, 2024 19:45 11s
$id updates PR Policy #767: Pull request #1537 synchronize by gregsdennis
October 11, 2024 19:45 13s gregsdennis/id-updates
gregsdennis/id-updates
October 11, 2024 19:45 13s
some more clarification on when implementations should normalize IRIs JSON Schema #292: Commit 46dd739 pushed by gregsdennis
October 11, 2024 19:45 53s gregsdennis/id-updates
gregsdennis/id-updates
October 11, 2024 19:45 53s
$id updates Check PR Dependencies #292: Pull request #1537 synchronize by gregsdennis
October 11, 2024 19:26 16s gregsdennis/id-updates
gregsdennis/id-updates
October 11, 2024 19:26 16s
$id updates PR Policy #766: Pull request #1537 synchronize by gregsdennis
October 11, 2024 19:26 13s gregsdennis/id-updates
gregsdennis/id-updates
October 11, 2024 19:26 13s
Merge branch 'gregsdennis/id-updates' of github.com:json-schema-org/j… JSON Schema #291: Commit 8268e40 pushed by gregsdennis
October 11, 2024 19:26 48s gregsdennis/id-updates
gregsdennis/id-updates
October 11, 2024 19:26 48s
PR Policy PR Policy #765: Scheduled
October 11, 2024 01:37 2s main
main
October 11, 2024 01:37 2s
PR Policy PR Policy #764: Scheduled
October 10, 2024 01:37 2s main
main
October 10, 2024 01:37 2s
PR Policy PR Policy #763: Scheduled
October 9, 2024 01:37 2s main
main
October 9, 2024 01:37 2s
PR Policy PR Policy #762: Scheduled
October 8, 2024 01:38 2s main
main
October 8, 2024 01:38 2s
PR Policy PR Policy #761: Scheduled
October 7, 2024 01:41 3s main
main
October 7, 2024 01:41 3s
PR Policy PR Policy #760: Scheduled
October 6, 2024 01:44 2s main
main
October 6, 2024 01:44 2s
PR Policy PR Policy #759: Scheduled
October 5, 2024 01:36 2s main
main
October 5, 2024 01:36 2s
PR Policy PR Policy #758: Scheduled
October 4, 2024 01:38 3s main
main
October 4, 2024 01:38 3s
$id updates Check PR Dependencies #291: Pull request #1537 synchronize by gregsdennis
October 3, 2024 20:56 13s gregsdennis/id-updates
gregsdennis/id-updates
October 3, 2024 20:56 13s
$id updates PR Policy #757: Pull request #1537 synchronize by gregsdennis
October 3, 2024 20:56 23s gregsdennis/id-updates
gregsdennis/id-updates
October 3, 2024 20:56 23s
Update jsonschema-core.md JSON Schema #290: Commit 17db555 pushed by gregsdennis
October 3, 2024 20:56 41s gregsdennis/id-updates
gregsdennis/id-updates
October 3, 2024 20:56 41s
PR Policy PR Policy #756: Scheduled
October 3, 2024 01:38 2s main
main
October 3, 2024 01:38 2s
$id updates Check PR Dependencies #290: Pull request #1537 synchronize by gregsdennis
October 2, 2024 19:24 14s gregsdennis/id-updates
gregsdennis/id-updates
October 2, 2024 19:24 14s
$id updates PR Policy #755: Pull request #1537 synchronize by gregsdennis
October 2, 2024 19:24 13s gregsdennis/id-updates
gregsdennis/id-updates
October 2, 2024 19:24 13s
Apply suggestions from code review JSON Schema #289: Commit 4315260 pushed by gregsdennis
October 2, 2024 19:24 38s gregsdennis/id-updates
gregsdennis/id-updates
October 2, 2024 19:24 38s
$id updates Check PR Dependencies #289: Pull request #1537 synchronize by gregsdennis
October 2, 2024 08:04 14s gregsdennis/id-updates
gregsdennis/id-updates
October 2, 2024 08:04 14s
$id updates PR Policy #754: Pull request #1537 synchronize by gregsdennis
October 2, 2024 08:04 18s gregsdennis/id-updates
gregsdennis/id-updates
October 2, 2024 08:04 18s
add comment ref back; update appendix format per PR discussion JSON Schema #288: Commit 76505b9 pushed by gregsdennis
October 2, 2024 08:04 40s gregsdennis/id-updates
gregsdennis/id-updates
October 2, 2024 08:04 40s
ProTip! You can narrow down the results and go further in time using created:<2024-10-02 or the other filters available.