Skip to content

Actions: vikraman/agda-coexp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #9: by github-pages bot
October 30, 2024 22:22 37s gh-pages
gh-pages
October 30, 2024 22:22 37s
typo ci #13: Commit 72301c2 pushed by vikraman
October 30, 2024 22:05 19m 51s main
main
October 30, 2024 22:05 19m 51s
pages build and deployment pages-build-deployment #8: by github-pages bot
October 16, 2024 10:23 45s gh-pages
gh-pages
October 16, 2024 10:23 45s
update README ci #12: Commit 0a1d02f pushed by vikraman
October 16, 2024 10:22 3m 40s main
main
October 16, 2024 10:22 3m 40s
update README ci #11: Commit 156e8a6 pushed by vikraman
October 16, 2024 10:20 3m 39s main
main
October 16, 2024 10:20 3m 39s
pages build and deployment pages-build-deployment #7: by github-pages bot
October 14, 2024 19:44 50s gh-pages
gh-pages
October 14, 2024 19:44 50s
pages build and deployment pages-build-deployment #6: by github-pages bot
October 14, 2024 19:42 49s gh-pages
gh-pages
October 14, 2024 19:42 49s
rename modules Star to Bar ci #10: Commit 8c6cae0 pushed by vikraman
October 14, 2024 19:41 3m 35s main
main
October 14, 2024 19:41 3m 35s
change star to tilde ci #9: Commit b842466 pushed by vikraman
October 14, 2024 19:38 3m 49s main
main
October 14, 2024 19:38 3m 49s
pages build and deployment pages-build-deployment #5: by github-pages bot
October 14, 2024 17:02 50s gh-pages
gh-pages
October 14, 2024 17:02 50s
checkpoint ci #8: Commit 366e260 pushed by vikraman
October 14, 2024 16:58 3m 44s main
main
October 14, 2024 16:58 3m 44s
pages build and deployment pages-build-deployment #4: by github-pages bot
October 13, 2024 19:50 43s gh-pages
gh-pages
October 13, 2024 19:50 43s
use instance arguments for isVal ci #7: Commit 1b2bb0c pushed by vikraman
October 13, 2024 19:46 3m 48s main
main
October 13, 2024 19:46 3m 48s
pages build and deployment pages-build-deployment #3: by github-pages bot
October 13, 2024 18:52 49s gh-pages
gh-pages
October 13, 2024 18:52 49s
formatting ci #6: Commit 07d9c4a pushed by vikraman
October 13, 2024 18:34 20m 6s main
main
October 13, 2024 18:34 20m 6s
pages build and deployment pages-build-deployment #2: by github-pages bot
July 12, 2024 10:15 42s gh-pages
gh-pages
July 12, 2024 10:15 42s
toy semantics ci #5: Commit 54b3e83 pushed by vikraman
July 12, 2024 09:58 19m 47s main
main
July 12, 2024 09:58 19m 47s