+
Skip to content

Actions: TDiazT/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Untyped quote MetaCoq CI #10: Pull request #1 opened by TDiazT
April 24, 2025 10:17 13m 49s untyped_quote
untyped_quote
April 24, 2025 10:17 13m 49s
Untyped quote Nix CI for bundle coq-8.20 #2: Pull request #1 opened by TDiazT
April 24, 2025 10:17 36m 37s
April 24, 2025 10:17 36m 37s
refactor: Cleanup some details in untyped quoter MetaCoq CI #9: Commit 9439395 pushed by TDiazT
April 24, 2025 10:15 13m 46s untyped_quote
untyped_quote
April 24, 2025 10:15 13m 46s
fix: recover deleted tactic to denote term MetaCoq CI #8: Commit e68dbb7 pushed by TDiazT
April 23, 2025 21:05 13m 55s untyped_quote
untyped_quote
April 23, 2025 21:05 13m 55s
fix: update to coq 8.20 MetaCoq CI #7: Commit 1ee35c9 pushed by TDiazT
April 23, 2025 20:57 13m 32s untyped_quote
untyped_quote
April 23, 2025 20:57 13m 32s
Merge pull request #1156 from MetaRocq/dependabot/github_actions/coq-… Nix CI for bundle coq-8.20 #1: Commit 90ec400 pushed by TDiazT
April 15, 2025 10:43 8m 27s coq-8.20
coq-8.20
April 15, 2025 10:43 8m 27s
Merge pull request #1156 from MetaRocq/dependabot/github_actions/coq-… MetaCoq CI #6: Commit 90ec400 pushed by TDiazT
April 15, 2025 10:43 31m 12s coq-8.20
coq-8.20
April 15, 2025 10:43 31m 12s
[refactor] Reorder and extract some dummy vars and aux functs MetaCoq CI #5: Commit f714983 pushed by TDiazT
April 15, 2025 09:57 12m 46s untyped_quote
untyped_quote
April 15, 2025 09:57 12m 46s
Merge pull request #1172 from jrosain/more-uniform-elimination MetaCoq CI #4: Commit 5df889e pushed by TDiazT
April 15, 2025 09:50 30m 0s main
main
April 15, 2025 09:50 30m 0s
Merge pull request #1172 from jrosain/more-uniform-elimination Nix CI for bundle rocq-dev #1: Commit 5df889e pushed by TDiazT
April 15, 2025 09:50 12m 4s main
main
April 15, 2025 09:50 12m 4s
[refactor] Reorder and extract some dummy vars and aux functs MetaCoq CI #3: Commit 7b14ff9 pushed by TDiazT
March 26, 2025 15:47 13m 13s untyped_quote
untyped_quote
March 26, 2025 15:47 13m 13s
[refactor] Reorder and extract some dummy vars and aux functs MetaCoq CI #2: Commit a7ba6be pushed by TDiazT
March 26, 2025 15:38 22m 57s untyped_quote
untyped_quote
March 26, 2025 15:38 22m 57s
Update papers MetaCoq CI #1: Commit da93f8c pushed by TDiazT
March 26, 2025 15:38 30m 23s 9.0
9.0
March 26, 2025 15:38 30m 23s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载