Skip to content
Render and Publish

Minor tweaks to webR evaluator and grader #18

Sign in to view logs

Minor tweaks to webR evaluator and grader

Minor tweaks to webR evaluator and grader #18

Triggered via push July 15, 2024 10:35
@georgestagggeorgestagg
pushed 32765a6
main
Status Success
Total duration 6m 7s
Billable time 6m
Artifacts –

deploy.yml

on: push
build-deploy
5m 57s
build-deploy
Fit to window
Zoom out
Zoom in