Skip to content
Lint

Merge remote-tracking branch 'upstream/main' into instr_ptr #355

Sign in to view logs

Merge remote-tracking branch 'upstream/main' into instr_ptr

Merge remote-tracking branch 'upstream/main' into instr_ptr #355

Triggered via push September 13, 2023 15:51
@iritkatrieliritkatriel
pushed 9875704
instr_ptr
Status Success
Total duration 52s
Artifacts –

lint.yml

on: push
lint
40s
lint
Fit to window
Zoom out
Zoom in