Skip to content

Actions: afogel/ACS_reference_implementation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Represent RFC 2119 strength as facts and derive verdicts in Datalog spec-lint #22: Pull request #49 synchronize by afogel
16s ir/keywords
ir/keywords
16s
Represent RFC 2119 strength as facts and derive verdicts in Datalog checks #58: Pull request #49 synchronize by afogel
45s ir/keywords
ir/keywords
45s
Represent RFC 2119 strength as facts and derive verdicts in Datalog checks #57: Pull request #49 opened by afogel
54s ir/keywords
ir/keywords
54s
Represent RFC 2119 strength as facts and derive verdicts in Datalog spec-lint #21: Pull request #49 opened by afogel
24s ir/keywords
ir/keywords
24s
Make the published Soufflé program idiomatic spec-lint #20: Pull request #47 synchronize by afogel
20s ir/datalog-idioms
ir/datalog-idioms
20s
Make the published Soufflé program idiomatic checks #56: Pull request #47 synchronize by afogel
39s ir/datalog-idioms
ir/datalog-idioms
39s
Make the published Soufflé program idiomatic spec-lint #19: Pull request #47 synchronize by afogel
17s ir/datalog-idioms
ir/datalog-idioms
17s
Make the published Soufflé program idiomatic checks #55: Pull request #47 synchronize by afogel
47s ir/datalog-idioms
ir/datalog-idioms
47s
Make the published Soufflé program idiomatic spec-lint #18: Pull request #47 synchronize by afogel
12s ir/datalog-idioms
ir/datalog-idioms
12s
Make the published Soufflé program idiomatic checks #54: Pull request #47 synchronize by afogel
54s ir/datalog-idioms
ir/datalog-idioms
54s
Make the published Soufflé program idiomatic checks #53: Pull request #47 synchronize by afogel
1m 15s ir/datalog-idioms
ir/datalog-idioms
1m 15s
Make the published Soufflé program idiomatic spec-lint #17: Pull request #47 synchronize by afogel
20s ir/datalog-idioms
ir/datalog-idioms
20s
Make the published Soufflé program idiomatic spec-lint #16: Pull request #47 synchronize by afogel
39s ir/datalog-idioms
ir/datalog-idioms
39s
Make the published Soufflé program idiomatic checks #52: Pull request #47 synchronize by afogel
41s ir/datalog-idioms
ir/datalog-idioms
41s
Make the published Soufflé program idiomatic spec-lint #15: Pull request #47 synchronize by afogel
13s ir/datalog-idioms
ir/datalog-idioms
13s
Make the published Soufflé program idiomatic checks #51: Pull request #47 synchronize by afogel
45s ir/datalog-idioms
ir/datalog-idioms
45s
Make the published Soufflé program idiomatic spec-lint #14: Pull request #47 opened by afogel
15s ir/datalog-idioms
ir/datalog-idioms
15s
Make the published Soufflé program idiomatic checks #50: Pull request #47 opened by afogel
51s ir/datalog-idioms
ir/datalog-idioms
51s
V8: cut the overlay into the upstream marker patches, and draft the governance texts checks #49: Pull request #46 synchronize by afogel
43s ir/v8
ir/v8
43s
V8: cut the overlay into the upstream marker patches, and draft the governance texts spec-lint #13: Pull request #46 synchronize by afogel
14s ir/v8
ir/v8
14s
V8: cut the overlay into the upstream marker patches, and draft the governance texts spec-lint #12: Pull request #46 opened by afogel
15s ir/v8
ir/v8
15s
V8: cut the overlay into the upstream marker patches, and draft the governance texts checks #48: Pull request #46 opened by afogel
54s ir/v8
ir/v8
54s
V7: convert every remaining keyword occurrence (155 provisions, zero unbound) checks #47: Pull request #45 synchronize by afogel
56s ir/v7
ir/v7
56s
V7: convert every remaining keyword occurrence (155 provisions, zero unbound) spec-lint #11: Pull request #45 synchronize by afogel
14s ir/v7
ir/v7
14s
IR V6: The conformance report checks #46: Pull request #44 synchronize by afogel
44s ir/v6
ir/v6
44s