Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: FissoreD/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #18: Scheduled
Skipped master
master
Skipped
Stale PRs Stale PRs #17: Scheduled
1s master
master
1s
Stale PRs Stale PRs #16: Scheduled
1s master
master
1s
Stale PRs Stale PRs #15: Scheduled
2s master
master
2s
Stale PRs Stale PRs #14: Scheduled
1s master
master
1s
Stale PRs Stale PRs #13: Scheduled
1s master
master
1s
Stale PRs Stale PRs #12: Scheduled
1s master
master
1s
Stale PRs Stale PRs #11: Scheduled
1s master
master
1s
Stale PRs Stale PRs #10: Scheduled
1s master
master
1s
Stale PRs Stale PRs #9: Scheduled
1s master
master
1s
Stale PRs Stale PRs #8: Scheduled
1s master
master
1s
Stale PRs Stale PRs #7: Scheduled
1s master
master
1s
Stale PRs Stale PRs #6: Scheduled
1s master
master
1s
Stale PRs Stale PRs #5: Scheduled
1s master
master
1s
Stale PRs Stale PRs #4: Scheduled
Skipped master
master
Skipped
Stale PRs Stale PRs #3: Scheduled
1s master
master
1s
Stale PRs Stale PRs #2: Scheduled
1s master
master
1s
Stale PRs Stale PRs #1: Scheduled
1s master
master
1s
fix Windows CI #1: Commit eb9d210 pushed by FissoreD
39m 52s cstc-rebase
cstc-rebase
39m 52s
fix GitHub macOS CI #1: Commit eb9d210 pushed by FissoreD
24m 33s cstc-rebase
cstc-rebase
24m 33s
fix Check conflicts #2: Commit eb9d210 pushed by FissoreD
8s cstc-rebase
cstc-rebase
8s
Merge PR #20569: Add a module Ltac1CompatibilityNotations for Ltac1 n… Check conflicts #1: Commit 8c1f088 pushed by FissoreD
11s master
master
11s
Merge PR #20569: Add a module Ltac1CompatibilityNotations for Ltac1 n… Github CI #1: Commit 8c1f088 pushed by FissoreD
35m 2s master
master
35m 2s