Skip to content

Actions: HuStmpHrrr/mech-type-theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
280 workflow runs
280 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #973356661 Dependabot Updates #159: by dependabot bot
March 3, 2025 05:53 36s main
main
March 3, 2025 05:53 36s
github_actions in /. - Update #972014080 Dependabot Updates #158: by dependabot bot
February 28, 2025 06:04 40s main
main
February 28, 2025 06:04 40s
github_actions in /. - Update #971437209 Dependabot Updates #157: by dependabot bot
February 27, 2025 06:11 33s main
main
February 27, 2025 06:11 33s
minor consequence Ubuntu build #111: Pull request #29 opened by jiangsy
February 27, 2025 00:17 32m 4s jiangsy:main
jiangsy:main
February 27, 2025 00:17 32m 4s
github_actions in /. - Update #970875828 Dependabot Updates #156: by dependabot bot
February 26, 2025 06:17 40s main
main
February 26, 2025 06:17 40s
github_actions in /. - Update #970846885 Dependabot Updates #155: by dependabot bot
February 26, 2025 05:17 40s main
main
February 26, 2025 05:17 40s
pages build and deployment pages-build-deployment #13: by github-pages bot
February 26, 2025 01:14 37s gh-pages
gh-pages
February 26, 2025 01:14 37s
nbe also works for the unascribed system Ubuntu build #110: Commit 2df1343 pushed by HuStmpHrrr
February 26, 2025 00:40 34m 39s main
main
February 26, 2025 00:40 34m 39s
Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3 Ubuntu build #109: Commit 88d291b pushed by HuStmpHrrr
February 26, 2025 00:39 33m 26s main
main
February 26, 2025 00:39 33m 26s
github_actions in /. - Update #970271097 Dependabot Updates #154: by dependabot bot
February 25, 2025 06:10 35s main
main
February 25, 2025 06:10 35s
github_actions in /. - Update #969237806 Dependabot Updates #153: by dependabot bot
February 24, 2025 05:32 35s main
main
February 24, 2025 05:32 35s
nbe also works for the unascribed system Ubuntu build #108: Pull request #28 opened by jiangsy
February 21, 2025 06:51 32m 25s jiangsy:unascribed_nbe
jiangsy:unascribed_nbe
February 21, 2025 06:51 32m 25s
github_actions in /. - Update #968397960 Dependabot Updates #152: by dependabot bot
February 21, 2025 06:04 35s main
main
February 21, 2025 06:04 35s
Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3 Ubuntu build #107: Pull request #26 opened by dependabot bot
February 20, 2025 05:20 32m 10s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.3
February 20, 2025 05:20 32m 10s
github_actions in /. - Update #967779903 Dependabot Updates #151: by dependabot bot
February 20, 2025 05:19 44s main
main
February 20, 2025 05:19 44s
github_actions in /. - Update #966478953 Dependabot Updates #150: by dependabot bot
February 18, 2025 05:43 36s main
main
February 18, 2025 05:43 36s
Delete src/NonCumulative/Statics/Ascribed/Unique.agda Ubuntu build #106: Commit 80502b3 pushed by HuStmpHrrr
February 17, 2025 19:49 35m 12s main
main
February 17, 2025 19:49 35m 12s
Delete src/NonCumulative/Statics/Ascribed/Unique.agda Ubuntu build #105: Pull request #25 opened by HuStmpHrrr
February 17, 2025 19:15 31m 46s HuStmpHrrr-patch-1
HuStmpHrrr-patch-1
February 17, 2025 19:15 31m 46s
pages build and deployment pages-build-deployment #12: by github-pages bot
February 17, 2025 09:05 39s gh-pages
gh-pages
February 17, 2025 09:05 39s
add an unascribed system in noncumu Ubuntu build #104: Commit 385aec6 pushed by HuStmpHrrr
February 17, 2025 08:11 53m 27s main
main
February 17, 2025 08:11 53m 27s
github_actions in /. - Update #965486391 Dependabot Updates #149: by dependabot bot
February 17, 2025 05:29 41s main
main
February 17, 2025 05:29 41s
add an unascribed system in noncumu Ubuntu build #103: Pull request #24 opened by jiangsy
February 17, 2025 04:20 50m 16s jiangsy:noncumu
jiangsy:noncumu
February 17, 2025 04:20 50m 16s
add a unascribed version of the noncumulative system Ubuntu build #102: Pull request #23 synchronize by jiangsy
February 17, 2025 03:23 31m 49s jiangsy:main
jiangsy:main
February 17, 2025 03:23 31m 49s
add a unascribed version of the noncumulative system Ubuntu build #101: Pull request #23 synchronize by jiangsy
February 17, 2025 01:33 31m 52s jiangsy:main
jiangsy:main
February 17, 2025 01:33 31m 52s
add a unascribed version of the noncumulative system Ubuntu build #100: Pull request #23 synchronize by jiangsy
February 16, 2025 16:33 26m 2s jiangsy:main
jiangsy:main
February 16, 2025 16:33 26m 2s