Skip to content

Actions: HuStmpHrrr/mech-type-theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #913291002 Dependabot Updates #78: by dependabot bot
November 7, 2024 05:54 36s main
main
November 7, 2024 05:54 36s
github_actions in /. - Update #912521210 Dependabot Updates #77: by dependabot bot
November 6, 2024 05:33 44s main
main
November 6, 2024 05:33 44s
github_actions in /. - Update #911956631 Dependabot Updates #76: by dependabot bot
November 5, 2024 05:45 35s main
main
November 5, 2024 05:45 35s
github_actions in /. - Update #911069963 Dependabot Updates #75: by dependabot bot
November 4, 2024 06:10 50s main
main
November 4, 2024 06:10 50s
github_actions in /. - Update #910076415 Dependabot Updates #74: by dependabot bot
November 1, 2024 05:48 36s main
main
November 1, 2024 05:48 36s
github_actions in /. - Update #908879299 Dependabot Updates #73: by dependabot bot
October 31, 2024 06:28 25s main
main
October 31, 2024 06:28 25s
github_actions in /. - Update #909437986 Dependabot Updates #72: by dependabot bot
October 31, 2024 05:20 33s main
main
October 31, 2024 05:20 33s
github_actions in /. - Update #908879299 Dependabot Updates #71: by dependabot bot
October 30, 2024 05:54 45m 16s main
main
October 30, 2024 05:54 45m 16s
github_actions in /. - Update #908287741 Dependabot Updates #70: by dependabot bot
October 29, 2024 06:11 50s main
main
October 29, 2024 06:11 50s
github_actions in /. - Update #907278322 Dependabot Updates #69: by dependabot bot
October 28, 2024 05:22 35s main
main
October 28, 2024 05:22 35s
update agda version Ubuntu build #88: Pull request #18 opened by HuStmpHrrr
October 27, 2024 03:22 44m 49s feature/update-agda-2.7.0.1
feature/update-agda-2.7.0.1
October 27, 2024 03:22 44m 49s
remove unnecessary folders Ubuntu build #87: Commit 06cbd14 pushed by HuStmpHrrr
October 27, 2024 03:03 29m 44s main
main
October 27, 2024 03:03 29m 44s
remove unnecessary folders Ubuntu build #86: Pull request #17 opened by HuStmpHrrr
October 27, 2024 03:03 26m 13s feature/remove-folder
feature/remove-folder
October 27, 2024 03:03 26m 13s
pages build and deployment pages-build-deployment #9: by github-pages bot
October 26, 2024 17:46 38s gh-pages
gh-pages
October 26, 2024 17:46 38s
update the master README Ubuntu build #85: Commit 2bbd5a5 pushed by HuStmpHrrr
October 26, 2024 17:18 28m 18s main
main
October 26, 2024 17:18 28m 18s
github_actions in /. - Update #906469605 Dependabot Updates #68: by dependabot bot
October 25, 2024 05:53 35s main
main
October 25, 2024 05:53 35s
github_actions in /. - Update #905867898 Dependabot Updates #67: by dependabot bot
October 24, 2024 06:01 36s main
main
October 24, 2024 06:01 36s
github_actions in /. - Update #905299619 Dependabot Updates #66: by dependabot bot
October 23, 2024 05:53 34s main
main
October 23, 2024 05:53 34s
github_actions in /. - Update #904721550 Dependabot Updates #65: by dependabot bot
October 22, 2024 05:32 41s main
main
October 22, 2024 05:32 41s
github_actions in /. - Update #903832986 Dependabot Updates #64: by dependabot bot
October 21, 2024 05:28 37s main
main
October 21, 2024 05:28 37s
relax the inner check in readback of nat and finish consequences Ubuntu build #84: Pull request #16 synchronize by jiangsy
October 19, 2024 12:58 26m 39s jiangsy:relax
jiangsy:relax
October 19, 2024 12:58 26m 39s
relax the inner check in readback of nat and finish consequences Ubuntu build #83: Pull request #16 synchronize by jiangsy
October 19, 2024 03:58 13m 48s jiangsy:relax
jiangsy:relax
October 19, 2024 03:58 13m 48s
relax the inner check in readback of nat and finish consequences Ubuntu build #82: Pull request #16 synchronize by jiangsy
October 19, 2024 03:40 13m 37s jiangsy:relax
jiangsy:relax
October 19, 2024 03:40 13m 37s
github_actions in /. - Update #902953600 Dependabot Updates #63: by dependabot bot
October 18, 2024 05:15 41s main
main
October 18, 2024 05:15 41s
relax the inner check in readback of nat and finish consequences Ubuntu build #81: Pull request #16 opened by jiangsy
October 17, 2024 15:30 13m 58s jiangsy:relax
jiangsy:relax
October 17, 2024 15:30 13m 58s