Skip to content

Actions: wasabi315/coverage-checking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename Generate Haskell code from Agda code using agda2hs and push to a separate branch #7: Commit 7e51225 pushed by wasabi315
1m 45s main
main
1m 45s
Rename Build highlighted Agda code and deploy to GitHub Pages #20: Commit 7e51225 pushed by wasabi315
3m 19s main
main
3m 19s
Tidy up termination proof Generate Haskell code from Agda code using agda2hs and push to a separate branch #6: Commit dc6e1cf pushed by wasabi315
1m 44s main
main
1m 44s
Tidy up termination proof Build highlighted Agda code and deploy to GitHub Pages #19: Commit dc6e1cf pushed by wasabi315
3m 36s main
main
3m 36s
Fix comment Generate Haskell code from Agda code using agda2hs and push to a separate branch #5: Commit 24d2a8a pushed by wasabi315
1m 40s main
main
1m 40s
Fix comment Build highlighted Agda code and deploy to GitHub Pages #18: Commit 24d2a8a pushed by wasabi315
3m 17s main
main
3m 17s
Fix test Generate Haskell code from Agda code using agda2hs and push to a separate branch #4: Commit a446ad2 pushed by wasabi315
1m 44s main
main
1m 44s
Fix test Build highlighted Agda code and deploy to GitHub Pages #17: Commit a446ad2 pushed by wasabi315
3m 39s main
main
3m 39s
Rename Build highlighted Agda code and deploy to GitHub Pages #16: Commit 2a33017 pushed by wasabi315
1m 26s main
main
1m 26s
Rename Generate Haskell code from Agda code using agda2hs and push to a separate branch #3: Commit 2a33017 pushed by wasabi315
1m 44s main
main
1m 44s
Add comments on termination Generate Haskell code from Agda code using agda2hs and push to a separate branch #2: Commit 6c77a25 pushed by wasabi315
1m 43s main
main
1m 43s
Add comments on termination Build highlighted Agda code and deploy to GitHub Pages #15: Commit 6c77a25 pushed by wasabi315
3m 53s main
main
3m 53s
Add GitHub Actions workflow Build highlighted Agda code and deploy to GitHub Pages #14: Commit a8c8af2 pushed by wasabi315
3m 21s main
main
3m 21s
Add GitHub Actions workflow Generate Haskell code from Agda code using agda2hs and push to a separate branch #1: Commit a8c8af2 pushed by wasabi315
1m 43s main
main
1m 43s
Add lemma Build highlighted Agda code and deploy to GitHub Pages #13: Commit 1c2bfdd pushed by wasabi315
3m 29s main
main
3m 29s
Move files and Update README.md Build highlighted Agda code and deploy to GitHub Pages #12: Commit faf53b9 pushed by wasabi315
3m 26s main
main
3m 26s
Fix comment Build highlighted Agda code and deploy to GitHub Pages #11: Commit 1125076 pushed by wasabi315
3m 37s main
main
3m 37s
Update index.agda Build highlighted Agda code and deploy to GitHub Pages #10: Commit 37b9ac6 pushed by wasabi315
5m 33s main
main
5m 33s
Fix github actions Build highlighted Agda code and deploy to GitHub Pages #9: Commit fb8198e pushed by wasabi315
3m 27s main
main
3m 27s
Update README.md Build highlighted Agda code and deploy to GitHub Pages #8: Commit 9a539cc pushed by wasabi315
22s main
main
22s
Fix github actions Build highlighted Agda code and deploy to GitHub Pages #7: Commit 8934406 pushed by wasabi315
36m 33s main
main
36m 33s
Fix github actions Build highlighted Agda code and deploy to GitHub Pages #6: Commit 1221b34 pushed by wasabi315
19m 25s main
main
19m 25s
Fix github actions Build highlighted Agda code and deploy to GitHub Pages #5: Commit a727753 pushed by wasabi315
19m 50s main
main
19m 50s
Fix github actions Build highlighted Agda code and deploy to GitHub Pages #4: Commit a6f55f4 pushed by wasabi315
14m 50s main
main
14m 50s
Fix github actions Build highlighted Agda code and deploy to GitHub Pages #3: Commit 255b78a pushed by wasabi315
19m 31s main
main
19m 31s