Skip to content

Actions: NethermindEth/ArkLibFri

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
119 workflow runs
119 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
cleanup Johnson Compile blueprint #13: Commit 4c48eee pushed by Ferinko
9m 27s Ferinko/ElijahVlasov/johnson
Ferinko/ElijahVlasov/johnson
9m 27s
mmm Compile blueprint #12: Commit 4878d0c pushed by Ferinko
8m 44s Ferinko/ElijahVlasov/johnson
Ferinko/ElijahVlasov/johnson
8m 44s
min_imports Lean Action CI #6: Commit dd5eeb0 pushed by Ferinko
11m 32s master
master
11m 32s
sketch the proof Lean Action CI #5: Commit a4d2d80 pushed by Ferinko
30m 32s master
master
30m 32s
Guruswami-Sudan blueprint. Compile blueprint #11: Commit bd35f8a pushed by ElijahVlasov
8m 47s ElijahVlasov/guruswami
ElijahVlasov/guruswami
8m 47s
... Compile blueprint #10: Commit 2440255 pushed by Ferinko
8m 47s Ferinko/ElijahVlasov/johnson
Ferinko/ElijahVlasov/johnson
8m 47s
... Compile blueprint #9: Commit e21863a pushed by Ferinko
8m 41s Ferinko/ElijahVlasov/johnson
Ferinko/ElijahVlasov/johnson
8m 41s
Merge branch 'main' into FerinkoKaty/Refactors Compile blueprint #8: Commit 26c47c0 pushed by katyhr
8m 12s FerinkoKaty/Refactors
FerinkoKaty/Refactors
8m 12s
fix typeclass inference Compile blueprint #7: Commit fdc0aad pushed by Ferinko
6m 57s ElijahVlasov/guruswami
ElijahVlasov/guruswami
6m 57s
WIP Compile blueprint #6: Commit ad564a5 pushed by ElijahVlasov
6m 30s ElijahVlasov/guruswami
ElijahVlasov/guruswami
6m 30s
WIP Compile blueprint #5: Commit 3ce12ab pushed by ElijahVlasov
7m 0s ElijahVlasov/guruswami
ElijahVlasov/guruswami
7m 0s
Decoder spec Compile blueprint #4: Commit 6da64b5 pushed by ElijahVlasov
8m 53s ElijahVlasov/guruswami
ElijahVlasov/guruswami
8m 53s
... Lean Action CI #4: Commit 52cdc88 pushed by Ferinko
37m 15s master
master
37m 15s
... Lean Action CI #3: Commit decc7bf pushed by Ferinko
29m 15s master
master
29m 15s
WIP Compile blueprint #3: Commit d6d8242 pushed by ElijahVlasov
8m 48s ElijahVlasov/guruswami
ElijahVlasov/guruswami
8m 48s
WIP Compile blueprint #2: Commit afea7a7 pushed by ElijahVlasov
8m 56s ElijahVlasov/guruswami
ElijahVlasov/guruswami
8m 56s
... Compile blueprint #1: Commit f8f6df4 pushed by Ferinko
8m 50s Ferinko/ElijahVlasov/johnson
Ferinko/ElijahVlasov/johnson
8m 50s
heh Lean Action CI #2: Commit a494c89 pushed by Ferinko
28m 59s master
master
28m 59s
... Lean Action CI #1: Commit 49ea525 pushed by Ferinko
28m 50s master
master
28m 50s