Skip to content

Actions: thomasnormal/lean-surfaces

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
983 workflow runs
983 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
Two operational notes bought by a mass deletion ci #983: Commit c68207a pushed by thomasnormal
51m 7s master
master
51m 7s
Two operational notes bought by a mass deletion ci #982: Commit c68207a pushed by thomasnormal
1h 9m 22s pyc-envelope
pyc-envelope
1h 9m 22s
The genexp migration, on a MEASURED map ci #981: Commit fe45bb4 pushed by thomasnormal
1h 6m 49s pyc-envelope
pyc-envelope
1h 6m 49s
Restore esEnvelopes tracking dropped by the c-align merge ci #980: Commit 32838ce pushed by thomasnormal
33s master
master
33s
Regenerate backlog INDEX ci #979: Commit 8f3704e pushed by thomasnormal
27s master
master
27s
Regenerate backlog INDEX ci #978: Commit aa1e002 pushed by thomasnormal
39s master
master
39s
Regenerate backlog INDEX ci #977: Commit fa92ce6 pushed by thomasnormal
39s master
master
39s
ES: PARKED — the scoreboard is one green from the first test262 number ci #976: Commit 97041ea pushed by thomasnormal
20m 30s master
master
20m 30s
Park the C lane: what stands, what is only predicted, and what reads … ci #975: Commit e1f9db1 pushed by thomasnormal
20m 53s c-align
c-align
20m 53s
Regenerate backlog INDEX ci #974: Commit 24140b9 pushed by thomasnormal
22m 45s master
master
22m 45s
PARKED: ladder 11/22, two lemmas proved but uncertified, artifacts st… ci #973: Commit e592c19 pushed by thomasnormal
1h 22m 46s master
master
1h 22m 46s
PAUSE MARKER: the campaign parks, and this is where a cold reader starts ci #972: Commit b6e4774 pushed by thomasnormal
1h 10m 18s master
master
1h 10m 18s
Regenerate backlog INDEX ci #971: Commit fe87d3f pushed by thomasnormal
1h 8m 44s master
master
1h 8m 44s
Regenerate backlog INDEX ci #970: Commit 964bc9e pushed by thomasnormal
1h 10m 0s master
master
1h 10m 0s
STAGED-UNVERIFIED: the descent's producer, and the base-case lane parks ci #969: Commit 39c2968 pushed by thomasnormal
52m 13s master
master
52m 13s
SoftFloat: PARKED — the ledger entry resumption reads ci #968: Commit fa22598 pushed by thomasnormal
1h 6m 42s softfloat-m1
softfloat-m1
1h 6m 42s
PARKED (indefinite): the analog lane's hand-over entry ci #967: Commit 7f2d8a8 pushed by thomasnormal
47m 4s analog-census
analog-census
47m 4s
backlog: PARKED — the protocol stack as it stands ci #966: Commit e7dc74f pushed by thomasnormal
1h 6m 10s qol-park
qol-park
1h 6m 10s
PARK the R-track: the ledger entry resumption reads ci #965: Commit 902b2ab pushed by thomasnormal
1h 4m 52s sunfish-r3c-monadic
sunfish-r3c-monadic
1h 4m 52s
Merge commit '0da2c5d' ci #964: Commit 964abcb pushed by thomasnormal
1h 5m 44s master
master
1h 5m 44s
Park the export corner at 17/26, and stop the count from lying while … ci #963: Commit 1a2cd5f pushed by thomasnormal
1h 8m 0s master
master
1h 8m 0s
PARKED: the Ada tier's state at the wind-down — and 0ee778e is STAGED… ci #962: Commit d7285c3 pushed by thomasnormal
1h 9m 9s ada-inch5b
ada-inch5b
1h 9m 9s
PARKED: the adequacy statement is certified, pieces 3 and 4 are not s… ci #961: Commit 0da2c5d pushed by thomasnormal
1h 6m 14s sv-park
sv-park
1h 6m 14s
Park the Go lane: the shape resumption needs, not a to-do list ci #960: Commit 03758cb pushed by thomasnormal
1h 7m 11s master
master
1h 7m 11s
PARKED (indefinite): the resumption contract for python-completeness ci #959: Commit 8827b22 pushed by thomasnormal
49m 51s pyc-envelope
pyc-envelope
49m 51s