Skip to content

Actions: Deducteam/hol2dk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
191 workflow runs
191 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
add export to lean .github/workflows/main.yml #1211: Pull request #200 synchronize by fblanqui
18m 18s fblanqui:new_lean
fblanqui:new_lean
18m 18s
add export to lean .github/workflows/main.yml #1210: Pull request #200 synchronize by fblanqui
18m 35s fblanqui:new_lean
fblanqui:new_lean
18m 35s
add export to lean .github/workflows/main.yml #1209: Pull request #200 synchronize by fblanqui
17m 56s fblanqui:new_lean
fblanqui:new_lean
17m 56s
add export to lean .github/workflows/main.yml #1208: Pull request #200 synchronize by fblanqui
18m 47s fblanqui:new_lean
fblanqui:new_lean
18m 47s
add export to lean .github/workflows/main.yml #1207: Pull request #200 synchronize by fblanqui
22m 8s fblanqui:new_lean
fblanqui:new_lean
22m 8s
add export to lean .github/workflows/main.yml #1206: Pull request #200 opened by fblanqui
22m 3s fblanqui:new_lean
fblanqui:new_lean
22m 3s
github_actions in /. - Update #1393282990 Dependabot Updates #84: by dependabot Bot
22s main
main
22s
github_actions in /. - Update #1344083318 Dependabot Updates #83: by dependabot Bot
35s main
main
35s
post-translation mappings .github/workflows/main.yml #1205: Pull request #199 synchronize by agontard
1m 8s agontard:to-classes
agontard:to-classes
1m 8s
post-translation mappings .github/workflows/main.yml #1204: Pull request #199 opened by agontard
1m 12s agontard:to-classes
agontard:to-classes
1m 12s
github_actions in /. - Update #1302949575 Dependabot Updates #82: by dependabot Bot
27s main
main
27s
fix recording of modus ponens (#198) .github/workflows/main.yml #1203: Commit 1109b6e pushed by fblanqui
34m 6s main
main
34m 6s
fix modus ponens .github/workflows/main.yml #1202: Pull request #198 opened by agontard
33m 26s agontard:fix_MP
agontard:fix_MP
33m 26s
github_actions in /. - Update #1262498966 Dependabot Updates #81: by dependabot Bot
30s main
main
30s
Fix test.mk and part.mk, and check rocq files in CI (#196) .github/workflows/main.yml #1201: Commit 6c6191d pushed by fblanqui
29m 32s main
main
29m 32s
Fix test.mk .github/workflows/main.yml #1200: Pull request #196 synchronize by fblanqui
29m 18s Alidra:master
Alidra:master
29m 18s
Fix test.mk .github/workflows/main.yml #1199: Pull request #196 synchronize by fblanqui
29m 13s Alidra:master
Alidra:master
29m 13s
Fix test.mk .github/workflows/main.yml #1198: Pull request #196 synchronize by fblanqui
19m 29s Alidra:master
Alidra:master
19m 29s
Fix test.mk .github/workflows/main.yml #1197: Pull request #196 synchronize by fblanqui
14m 32s Alidra:master
Alidra:master
14m 32s
Fix test.mk .github/workflows/main.yml #1196: Pull request #196 opened by Alidra
15m 7s Alidra:master
Alidra:master
15m 7s
Record, for each symbol, the number of type variables of its type (#194) .github/workflows/main.yml #1195: Commit 37aaebd pushed by fblanqui
14m 14s main
main
14m 14s
Record, for each symbol, the number of type variables of its type .github/workflows/main.yml #1194: Pull request #194 synchronize by fblanqui
11m 56s fblanqui:tvs
fblanqui:tvs
11m 56s
Record, for each symbol, the number of type variables of its type .github/workflows/main.yml #1193: Pull request #194 synchronize by fblanqui
11m 23s fblanqui:tvs
fblanqui:tvs
11m 23s
Record, for each symbol, the number of type variables of its type .github/workflows/main.yml #1192: Pull request #194 synchronize by fblanqui
12m 21s fblanqui:tvs
fblanqui:tvs
12m 21s
Record, for each symbol, the number of type variables of its type .github/workflows/main.yml #1191: Pull request #194 synchronize by fblanqui
12m 46s fblanqui:tvs
fblanqui:tvs
12m 46s