Typecheck with Agda · Workflow runs · UniMath/agda-unimath · GitHub

Actions

All workflows
Workflows
- agda-unimath CI agda-unimath CI
- Build and deploy library website Build and deploy library website
- Clean build and profiling of library Clean build and profiling of library
- Clean up caches generated by pull requests Clean up caches generated by pull requests
- Typecheck with Agda Typecheck with Agda
Management
- Caches
- Deployments

Typecheck with Agda

Actions

Loading...
Loading

6 workflow runs

6 workflow runs

Disable typecheck, link-check, and pre-commit workflows on master Typecheck with Agda #6: Pull request #1552 synchronize by fredrik-bakke

1m 11s fredrik-bakke:fix-typecheck-draft

fredrik-bakke:fix-typecheck-draft

1m 11s

Disable typecheck, link-check, and pre-commit workflows on master Typecheck with Agda #5: Pull request #1552 synchronize by fredrik-bakke

1m 2s fredrik-bakke:fix-typecheck-draft

fredrik-bakke:fix-typecheck-draft

1m 2s

Disable typecheck, link-check, and pre-commit workflows on master Typecheck with Agda #4: Pull request #1552 synchronize by fredrik-bakke

1m 6s fredrik-bakke:fix-typecheck-draft

fredrik-bakke:fix-typecheck-draft

1m 6s

Disable typecheck, link-check, and pre-commit workflows on master Typecheck with Agda #3: Pull request #1552 synchronize by fredrik-bakke

1m 10s fredrik-bakke:fix-typecheck-draft

fredrik-bakke:fix-typecheck-draft

1m 10s

Disable typecheck, link-check, and pre-commit workflows on master Typecheck with Agda #2: Pull request #1552 synchronize by fredrik-bakke

1m 22s fredrik-bakke:fix-typecheck-draft

fredrik-bakke:fix-typecheck-draft

1m 22s

Disable typecheck, link-check, and pre-commit workflows on master Typecheck with Agda #1: Pull request #1552 opened by fredrik-bakke

55s fredrik-bakke:fix-typecheck-draft

fredrik-bakke:fix-typecheck-draft

55s