agda now time #978
mightyiam
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
build
1m 46s
deploy-production
0s
deploy-preview
23s
Deployment protection rules
Reviewers, timers, and other rules protecting deployments in this run
| Event | Environments |
|---|---|
mightyiam
deleted by mightyiam
|
pull_request_deployment |
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
build_output_dir
Expired
|
436 KB |
|