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 Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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