Skip to content

Actions: Deducteam/isabelle_dedukti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump actions/checkout from 6 to 7 (#51) .github/workflows/main.yml #61: Commit 925d138 pushed by fblanqui
10m 17s master
master
10m 17s
Bump actions/checkout from 6 to 7 .github/workflows/main.yml #60: Pull request #51 opened by dependabot Bot
10m 13s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
10m 13s
Bump actions/checkout from 6 to 7 .github/workflows/main.yml #59: Commit 38979d0 pushed by dependabot Bot
10m 3s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
10m 3s
github_actions in /. - Update #1443230055 Dependabot Updates #82: by dependabot Bot
25s master
master
25s
github_actions in /. - Update #1393375681 Dependabot Updates #81: by dependabot Bot
20s master
master
20s
github_actions in /. - Update #1344136642 Dependabot Updates #80: by dependabot Bot
35s master
master
35s
github_actions in /. - Update #1303010484 Dependabot Updates #79: by dependabot Bot
25s master
master
25s
Read definitional theorems ending in "_dict" (#49) .github/workflows/main.yml #58: Commit 3854104 pushed by fblanqui
10m 30s master
master
10m 30s
Read definitions within typeclass contexts .github/workflows/main.yml #57: Pull request #49 opened by agontard
10m 12s agontard:read_defs_in_classes
agontard:read_defs_in_classes
10m 12s
use of eta-contraction/expansion .github/workflows/main.yml #56: Pull request #47 reopened by agontard
10m 4s agontard:no-more-contraction
agontard:no-more-contraction
10m 4s
github_actions in /. - Update #1262549663 Dependabot Updates #78: by dependabot Bot
27s master
master
27s
github_actions in /. - Update #1228745654 Dependabot Updates #77: by dependabot Bot
26s master
master
26s
github_actions in /. - Update #1195838080 Dependabot Updates #76: by dependabot Bot
32s master
master
32s
use of eta-contraction/expansion .github/workflows/main.yml #55: Pull request #47 opened by agontard
6m 10s agontard:no-more-contraction
agontard:no-more-contraction
6m 10s
mappings.v: add missing def of dummy .github/workflows/main.yml #54: Pull request #46 synchronize by fblanqui
6m 36s fblanqui:int
fblanqui:int
6m 36s
mappings.v: add missing def of dummy .github/workflows/main.yml #53: Pull request #46 opened by fblanqui
5m 45s fblanqui:int
fblanqui:int
5m 45s
revert suffixing types with _type (#45) .github/workflows/main.yml #52: Commit 8c5d4aa pushed by fblanqui
5m 58s master
master
5m 58s
revert suffixing types with _type .github/workflows/main.yml #51: Pull request #45 opened by fblanqui
5m 51s fblanqui:revert
fblanqui:revert
5m 51s
Unqualify lambdapi identifiers (#42) .github/workflows/main.yml #50: Commit 04970b6 pushed by fblanqui
5m 56s master
master
5m 56s
Fix remove_useless_proofs and unqualify lambdapi identifiers .github/workflows/main.yml #49: Pull request #42 synchronize by agontard
5m 55s agontard:lambdapi_unqualify
agontard:lambdapi_unqualify
5m 55s
Fix remove_useless_proofs and unqualify lambdapi identifiers .github/workflows/main.yml #48: Pull request #42 synchronize by agontard
6m 18s agontard:lambdapi_unqualify
agontard:lambdapi_unqualify
6m 18s
update patch for List (#44) .github/workflows/main.yml #47: Commit 70a2ee1 pushed by fblanqui
6m 18s master
master
6m 18s
update patch for List .github/workflows/main.yml #46: Pull request #44 synchronize by fblanqui
6m 15s fblanqui:list
fblanqui:list
6m 15s
ROOT: add _wp suffix to session names (#43) .github/workflows/main.yml #45: Commit 06440db pushed by fblanqui
5m 54s master
master
5m 54s
update patch for List .github/workflows/main.yml #44: Pull request #44 opened by fblanqui
6m 9s fblanqui:list
fblanqui:list
6m 9s