Skip to content

Actions: Deducteam/hol2dk

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
150 workflow runs
150 workflow runs

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 #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
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
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
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
Record, for each symbol, the number of type variables of its type .github/workflows/main.yml #1190: Pull request #194 synchronize by fblanqui
12m 36s fblanqui:tvs
fblanqui:tvs
12m 36s
Record, for each symbol, the number of type variables of its type .github/workflows/main.yml #1189: Pull request #194 synchronize by fblanqui
11m 44s fblanqui:tvs
fblanqui:tvs
11m 44s
Record, for each symbol, the number of type variables of its type .github/workflows/main.yml #1188: Pull request #194 opened by fblanqui
10m 50s fblanqui:tvs
fblanqui:tvs
10m 50s
dune-project: add maintenance_intent (#193) .github/workflows/main.yml #1187: Commit db4033a pushed by fblanqui
13m 45s main
main
13m 45s
dune-project: add maintenance_intent .github/workflows/main.yml #1186: Pull request #193 opened by fblanqui
11m 33s fblanqui:dune
fblanqui:dune
11m 33s