Skip to content

Actions: Agda-zh/PLFA-zh

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
434 workflow runs
434 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #75: by github-pages bot
March 25, 2024 08:27 49s web
web
March 25, 2024 08:27 49s
Bump html-validate from 8.16.0 to 8.18.0 CI #102: Commit f0b6c6d pushed by fangyi-zhou
March 25, 2024 07:49 37m 44s dev
dev
March 25, 2024 07:49 37m 44s
Bump html-validate from 8.16.0 to 8.18.0 CI #101: Pull request #188 opened by dependabot bot
March 25, 2024 05:08 47m 11s dependabot/npm_and_yarn/html-validate-8.18.0
dependabot/npm_and_yarn/html-validate-8.18.0
March 25, 2024 05:08 47m 11s
pages build and deployment pages-build-deployment #74: by github-pages bot
March 23, 2024 16:50 50s web
web
March 23, 2024 16:50 50s
pages build and deployment pages-build-deployment #73: by github-pages bot
March 23, 2024 16:48 58s web
web
March 23, 2024 16:48 58s
Merge remote-tracking branch 'plfa/dev' into dev CI #100: Commit d445ab9 pushed by OlingCat
March 23, 2024 16:15 35m 27s dev
dev
March 23, 2024 16:15 35m 27s
Soundness: 修复一些标点和语句 CI #99: Commit 4656b0f pushed by OlingCat
March 23, 2024 16:12 35m 54s dev
dev
March 23, 2024 16:12 35m 54s
pages build and deployment pages-build-deployment #72: by github-pages bot
March 23, 2024 14:37 55s web
web
March 23, 2024 14:37 55s
Merge pull request #187 from Agda-zh/soundness CI #98: Commit fa430a0 pushed by OlingCat
March 23, 2024 14:05 31m 53s dev
dev
March 23, 2024 14:05 31m 53s
Soundness: 翻译完毕 CI #97: Pull request #187 opened by OlingCat
March 23, 2024 14:04 46m 16s soundness
soundness
March 23, 2024 14:04 46m 16s
pages build and deployment pages-build-deployment #71: by github-pages bot
March 18, 2024 18:01 50s web
web
March 18, 2024 18:01 50s
Compositional: 修改润色 CI #96: Commit 1c70972 pushed by OlingCat
March 18, 2024 17:24 36m 44s dev
dev
March 18, 2024 17:24 36m 44s
pages build and deployment pages-build-deployment #70: by github-pages bot
March 18, 2024 10:14 1m 16s web
web
March 18, 2024 10:14 1m 16s
pages build and deployment pages-build-deployment #69: by github-pages bot
March 18, 2024 10:00 1m 20s web
web
March 18, 2024 10:00 1m 20s
pages build and deployment pages-build-deployment #68: by github-pages bot
March 18, 2024 09:38 50s web
web
March 18, 2024 09:38 50s
Compositional: 翻译完毕 (#186) CI #95: Commit 7dd060a pushed by OlingCat
March 18, 2024 09:27 47m 30s dev
dev
March 18, 2024 09:27 47m 30s
Compositional：翻译完毕 CI #94: Pull request #186 synchronize by OlingCat
March 18, 2024 09:26 30m 44s compositional
compositional
March 18, 2024 09:26 30m 44s
Fixed a typo (#977) CI #93: Commit 09165e1 pushed by OlingCat
March 18, 2024 09:25 34m 53s dev
dev
March 18, 2024 09:25 34m 53s
Compositional：翻译完毕 CI #92: Pull request #186 opened by OlingCat
March 18, 2024 09:22 33m 1s compositional
compositional
March 18, 2024 09:22 33m 1s
Bump sass from 1.71.1 to 1.72.0 CI #91: Commit d51613e pushed by fangyi-zhou
March 18, 2024 09:01 37m 3s dev
dev
March 18, 2024 09:01 37m 3s
pages build and deployment pages-build-deployment #67: by github-pages bot
March 18, 2024 06:54 51s web
web
March 18, 2024 06:54 51s
Bump sass from 1.71.1 to 1.72.0 CI #90: Pull request #185 synchronize by dependabot bot
March 18, 2024 06:22 28m 18s dependabot/npm_and_yarn/sass-1.72.0
dependabot/npm_and_yarn/sass-1.72.0
March 18, 2024 06:22 28m 18s
Bump html-validate from 8.15.0 to 8.16.0 CI #89: Commit 4ffaac0 pushed by fangyi-zhou
March 18, 2024 06:21 33m 22s dev
dev
March 18, 2024 06:21 33m 22s
Bump sass from 1.71.1 to 1.72.0 CI #88: Pull request #185 opened by dependabot bot
March 18, 2024 05:49 31m 37s dependabot/npm_and_yarn/sass-1.72.0
dependabot/npm_and_yarn/sass-1.72.0
March 18, 2024 05:49 31m 37s
Bump html-validate from 8.15.0 to 8.16.0 CI #87: Pull request #184 opened by dependabot bot
March 18, 2024 05:49 31m 50s dependabot/npm_and_yarn/html-validate-8.16.0
dependabot/npm_and_yarn/html-validate-8.16.0
March 18, 2024 05:49 31m 50s
ProTip! You can narrow down the results and go further in time using created:<2024-03-18 or the other filters available.