Skip to content

Actions: nicuveo/pietre

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 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
test: add framework for error E2E testing code validation #96: Commit 9b7e471 pushed by nicuveo
1m 21s dev
dev
1m 21s
export: export tokens as JSON objects with "kind" field code validation #95: Commit 1142fca pushed by nicuveo
1m 26s dev
dev
1m 26s
clean: apply hlint suggestion code validation #94: Commit 7e09105 pushed by nicuveo
1m 11s dev
dev
1m 11s
main: output diagnostics as JSON if required code validation #93: Commit 776d991 pushed by nicuveo
3m 33s dev
dev
3m 33s
export: group modules per export type code validation #92: Commit 6c97c92 pushed by nicuveo
1m 10s dev
dev
1m 10s
clean: apply some of hlint suggestions code validation #91: Commit 335e2ff pushed by nicuveo
10m 27s dev
dev
10m 27s
main: pretty-print diagnostics code validation #90: Commit 129a08a pushed by nicuveo
12m 27s dev
dev
12m 27s
ci: install npiet code validation #89: Commit a6752df pushed by nicuveo
16m 59s dev
dev
16m 59s
ci: install npiet code validation #88: Commit d5da369 pushed by nicuveo
5m 38s dev
dev
5m 38s
ci: install npiet code validation #87: Commit 77b9a7f pushed by nicuveo
29s dev
dev
29s
ci: install npiet code validation #86: Commit 05d68fc pushed by nicuveo
23s dev
dev
23s
ci: install npiet code validation #85: Commit 96b1f52 pushed by nicuveo
36s dev
dev
36s
ci: install npiet code validation #84: Commit 114fb9d pushed by nicuveo
29s dev
dev
29s
ci: install npiet code validation #83: Commit e0f9e28 pushed by nicuveo
Failure dev
dev
Failure
ci: run tests, and fail on hlint error code validation #82: Commit 15ccc81 pushed by nicuveo
1m 9s dev
dev
1m 9s
tests: improve basic golden parsing test code validation #81: Commit f40d7fd pushed by nicuveo
1m 48s dev
dev
1m 48s
minimization: add push duplicate rule code validation #80: Commit b21b659 pushed by nicuveo
11m 15s dev
dev
11m 15s
batteries: add write_char function code validation #79: Commit 1388e4d pushed by nicuveo
1m 43s dev
dev
1m 43s
assembly: fix values in [17..32] not adding properly code validation #78: Commit c629524 pushed by nicuveo
1m 52s dev
dev
1m 52s
compile: inject Prelude into compilation monad code validation #77: Commit 0af092e pushed by nicuveo
1m 38s dev
dev
1m 38s
batteries: parse Prelude at compile time code validation #76: Commit beb26f1 pushed by nicuveo
2m 4s dev
dev
2m 4s
ir: cleanup old Register Show instance code validation #75: Commit 96f2c01 pushed by nicuveo
11m 48s dev
dev
11m 48s
rewrite compiler pipeline and main code validation #74: Commit 5daf4c1 pushed by nicuveo
1m 23s dev
dev
1m 23s
assembly: remove leftover trace code validation #73: Commit f82bce2 pushed by nicuveo
1m 20s dev
dev
1m 20s
linking, assembly: cleanup code validation #72: Commit 3467019 pushed by nicuveo
59s dev
dev
59s