Skip to content

Actions: plclub/metalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #36 from liyishuai/ci Docker CI #14: Commit 144ddcd pushed by sweirich
March 26, 2025 13:07 2m 13s master
master
March 26, 2025 13:07 2m 13s
Support Rocq 9.0 Docker CI #13: Pull request #36 opened by liyishuai
March 26, 2025 02:55 2m 20s liyishuai:ci
liyishuai:ci
March 26, 2025 02:55 2m 20s
Merge pull request #35 from liyishuai/master Docker CI #12: Commit bab4904 pushed by sweirich
March 25, 2025 12:46 2m 20s master
master
March 25, 2025 12:46 2m 20s
Merge pull request #33 from skylee03/fix-instantiate Docker CI #11: Commit 81efac1 pushed by sweirich
March 25, 2025 12:45 2m 14s master
master
March 25, 2025 12:45 2m 14s
ci: More Coq versions Docker CI #9: Pull request #35 opened by liyishuai
March 25, 2025 09:37 2m 15s liyishuai:master
liyishuai:master
March 25, 2025 09:37 2m 15s
avoid the use of argument-free instantiate Docker CI #7: Pull request #33 opened by skylee03
June 23, 2024 13:36 2m 18s skylee03:fix-instantiate
skylee03:fix-instantiate
June 23, 2024 13:36 2m 18s
Merge pull request #32 from skylee03/patch-1 Docker CI #6: Commit badeeab pushed by sweirich
June 19, 2024 12:46 2m 15s master
master
June 19, 2024 12:46 2m 15s
Merge pull request #31 from yiyunliu/fix-8.19 Docker CI #3: Commit 76061e8 pushed by sweirich
April 17, 2024 19:07 4m 19s master
master
April 17, 2024 19:07 4m 19s
Remove deprecated and unused stdlib dependency Docker CI #2: Pull request #31 opened by yiyunliu
April 17, 2024 19:06 2m 16s yiyunliu:fix-8.19
yiyunliu:fix-8.19
April 17, 2024 19:06 2m 16s