Skip to content

Actions: Agda-zh/PLFA-zh

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
162 workflow runs
162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #195 from Agda-zh/dependabot/npm_and_yarn/html-val… CI #122: Commit bfb45d9 pushed by OlingCat
April 28, 2024 13:25 18m 16s dev
dev
April 28, 2024 13:25 18m 16s
Merge pull request #194 from Agda-zh/dependabot/github_actions/JamesI… CI #121: Commit f1430fa pushed by OlingCat
April 28, 2024 13:25 18m 6s dev
dev
April 28, 2024 13:25 18m 6s
Merge pull request #196 from Agda-zh/subst CI #120: Commit 6e6de69 pushed by OlingCat
April 28, 2024 13:24 18m 56s dev
dev
April 28, 2024 13:24 18m 56s
Subst CI #119: Pull request #196 opened by OlingCat
April 28, 2024 13:24 19m 9s subst
subst
April 28, 2024 13:24 19m 9s
Bump html-validate from 8.18.1 to 8.18.2 CI #118: Pull request #195 opened by dependabot bot
April 22, 2024 05:07 32m 7s dependabot/npm_and_yarn/html-validate-8.18.2
dependabot/npm_and_yarn/html-validate-8.18.2
April 22, 2024 05:07 32m 7s
Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0 CI #117: Pull request #194 opened by dependabot bot
April 22, 2024 05:03 39m 42s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
April 22, 2024 05:03 39m 42s
Bump sass from 1.74.1 to 1.75.0 CI #116: Commit dba6326 pushed by fangyi-zhou
April 15, 2024 19:32 39m 50s dev
dev
April 15, 2024 19:32 39m 50s
Bump sass from 1.74.1 to 1.75.0 CI #115: Pull request #193 opened by dependabot bot
April 15, 2024 05:24 33m 40s dependabot/npm_and_yarn/sass-1.75.0
dependabot/npm_and_yarn/sass-1.75.0
April 15, 2024 05:24 33m 40s
Bump sass from 1.72.0 to 1.74.1 CI #114: Commit b188ade pushed by fangyi-zhou
April 8, 2024 23:17 39m 48s dev
dev
April 8, 2024 23:17 39m 48s
[pre-commit.ci] pre-commit autoupdate CI #113: Commit 54cf1d2 pushed by fangyi-zhou
April 8, 2024 23:17 36m 30s dev
dev
April 8, 2024 23:17 36m 30s
[pre-commit.ci] pre-commit autoupdate CI #112: Pull request #192 opened by pre-commit-ci bot
April 8, 2024 21:14 40m 21s pre-commit-ci-update-config
pre-commit-ci-update-config
April 8, 2024 21:14 40m 21s
Bump sass from 1.72.0 to 1.74.1 CI #111: Pull request #191 opened by dependabot bot
April 8, 2024 05:41 36m 30s dependabot/npm_and_yarn/sass-1.74.1
dependabot/npm_and_yarn/sass-1.74.1
April 8, 2024 05:41 36m 30s
Mute macOS build CI #110: Commit b49d36f pushed by OlingCat
April 2, 2024 16:30 34m 21s dev
dev
April 2, 2024 16:30 34m 21s
ContextualEquivalence: 翻译完毕 CI #109: Commit b3977a7 pushed by OlingCat
April 2, 2024 16:05 40m 6s dev
dev
April 2, 2024 16:05 40m 6s
Adequacy: 修正一些语句 CI #108: Commit f4344bd pushed by OlingCat
April 2, 2024 08:37 47m 36s dev
dev
April 2, 2024 08:37 47m 36s
Adequecy: 翻译完毕 (#190) CI #107: Commit 8d192b5 pushed by OlingCat
April 2, 2024 08:30 39m 32s dev
dev
April 2, 2024 08:30 39m 32s
Adequecy: 翻译完毕 CI #106: Pull request #190 opened by OlingCat
April 2, 2024 08:30 59m 21s adequecy
adequecy
April 2, 2024 08:30 59m 21s
Merge pull request #189 from Agda-zh/dependabot/npm_and_yarn/html-val… CI #105: Commit 3cae3af pushed by OlingCat
April 1, 2024 16:23 1h 2m 0s dev
dev
April 1, 2024 16:23 1h 2m 0s
Bump html-validate from 8.18.0 to 8.18.1 CI #104: Pull request #189 opened by dependabot bot
April 1, 2024 05:19 38m 54s dependabot/npm_and_yarn/html-validate-8.18.1
dependabot/npm_and_yarn/html-validate-8.18.1
April 1, 2024 05:19 38m 54s
Merge remote-tracking branch 'plfa/dev' into dev CI #103: Commit 34eda0d pushed by OlingCat
March 29, 2024 15:04 42m 39s dev
dev
March 29, 2024 15:04 42m 39s
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
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
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