Skip to content
Test

Rename the assign command to request. #1058

Sign in to view logs

Rename the assign command to request.

Rename the assign command to request. #1058

Triggered via pull request January 8, 2024 04:59
@mattpolzinmattpolzin
opened #106
feature/103/rename-assign
Status Success
Total duration 2m 6s
Artifacts –

test.yml

on: pull_request
stable-idris
1m 40s
stable-idris
nightly-idris
1m 57s
nightly-idris
Fit to window
Zoom out
Zoom in