Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Actions: binghe/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,483 workflow runs
1,483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stage work on hreduce_permutator_shared docker-ci #1853: Commit 360e0b3 pushed by binghe
November 13, 2024 12:38 In progress probability_dev
probability_dev
November 13, 2024 12:38 In progress
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #1852: Commit 890d6f8 pushed by binghe
November 13, 2024 08:52 1h 14m 10s probability_dev
probability_dev
November 13, 2024 08:52 1h 14m 10s
Stage work on hreduce_permutator_shared docker-ci #1851: Commit 10b34d6 pushed by binghe
November 13, 2024 05:51 2h 7m 52s probability_dev
probability_dev
November 13, 2024 05:51 2h 7m 52s
Test new CI image docker-ci #1850: Commit b948d34 pushed by binghe
November 13, 2024 03:49 2h 5m 41s probability_dev
probability_dev
November 13, 2024 03:49 2h 5m 41s
Updated dockerfiles for hol-dev:latest docker-ci #1849: Commit 9f1cdd3 pushed by binghe
November 12, 2024 23:23 40m 15s probability_dev
probability_dev
November 12, 2024 23:23 40m 15s
Added IS_PREFIX_EQ_REWRITE docker-ci #1848: Commit 7dc2fae pushed by binghe
November 12, 2024 13:19 2h 3m 7s probability_dev
probability_dev
November 12, 2024 13:19 2h 3m 7s
Stage work on hreduce_permutator_shared docker-ci #1847: Commit 37b98a5 pushed by binghe
November 12, 2024 13:03 1h 57m 5s probability_dev
probability_dev
November 12, 2024 13:03 1h 57m 5s
Fixed building Moscow ML in docker images docker-ci #1846: Commit 99f8be7 pushed by binghe
November 12, 2024 09:35 1h 55m 46s probability_dev
probability_dev
November 12, 2024 09:35 1h 55m 46s
Stage work on agree_upto_lemma docker-ci #1845: Commit c6a5026 pushed by binghe
November 12, 2024 04:42 1h 58m 7s probability_dev
probability_dev
November 12, 2024 04:42 1h 58m 7s
Stage work on agree_upto_lemma docker-ci #1844: Commit 1e50bff pushed by binghe
November 12, 2024 03:29 2h 1m 31s probability_dev
probability_dev
November 12, 2024 03:29 2h 1m 31s
renamed: lswapstr_unchanged', etc. docker-ci #1843: Commit a243c8a pushed by binghe
November 12, 2024 02:28 1h 57m 42s probability_dev
probability_dev
November 12, 2024 02:28 1h 57m 42s
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #1842: Commit 6d137d1 pushed by binghe
November 12, 2024 00:45 2h 0m 33s probability_dev
probability_dev
November 12, 2024 00:45 2h 0m 33s
FTBFS Dockerfile docker-ci #1841: Commit 405528b pushed by binghe
November 12, 2024 00:41 28s probability_dev
probability_dev
November 12, 2024 00:41 28s
Use PolyML master by default docker-ci #1840: Commit 099938e pushed by binghe
November 12, 2024 00:39 2m 20s probability_dev
probability_dev
November 12, 2024 00:39 2m 20s
Install mosml only on linux/amd64 docker-ci #1839: Commit 9213b4c pushed by binghe
November 12, 2024 00:38 3m 49s probability_dev
probability_dev
November 12, 2024 00:38 3m 49s
Use riscv64/debian:trixie-slim instead docker-ci #1838: Commit 2a3b612 pushed by binghe
November 12, 2024 00:08 33m 55s probability_dev
probability_dev
November 12, 2024 00:08 33m 55s
Updated Dockerfile definitions adding riscv64 support docker-ci #1837: Commit b4efcd9 pushed by binghe
November 11, 2024 23:56 45m 44s probability_dev
probability_dev
November 11, 2024 23:56 45m 44s
Use Debian for riscv64 docker image docker-ci #1836: Commit 390ee0f pushed by binghe
November 11, 2024 23:31 1h 10m 47s probability_dev
probability_dev
November 11, 2024 23:31 1h 10m 47s
Update riscv docker image docker-ci #1835: Commit 5279947 pushed by binghe
November 11, 2024 23:14 1h 19m 10s probability_dev
probability_dev
November 11, 2024 23:14 1h 19m 10s
Stage work on agree_upto_lemma docker-ci #1834: Commit 09832c3 pushed by binghe
November 11, 2024 14:39 1h 20m 4s probability_dev
probability_dev
November 11, 2024 14:39 1h 20m 4s
EOD Stage work on agree_upto_lemma docker-ci #1833: Commit 60b2af8 pushed by binghe
November 11, 2024 10:38 1h 17m 54s probability_dev
probability_dev
November 11, 2024 10:38 1h 17m 54s
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #1832: Commit f6fe03a pushed by binghe
November 11, 2024 02:53 1h 18m 57s probability_dev
probability_dev
November 11, 2024 02:53 1h 18m 57s
FTBFS solving all other cheats, now back to agree_upto_lemma docker-ci #1831: Commit f40b0a2 pushed by binghe
November 11, 2024 02:39 2h 3m 19s probability_dev
probability_dev
November 11, 2024 02:39 2h 3m 19s
Stage work on the new subterm_width_def docker-ci #1830: Commit 0640741 pushed by binghe
November 10, 2024 11:15 2h 2m 44s probability_dev
probability_dev
November 10, 2024 11:15 2h 2m 44s
Stage work on the new subterm_width_def docker-ci #1829: Commit 4f8efc3 pushed by binghe
November 10, 2024 10:17 1h 58m 49s probability_dev
probability_dev
November 10, 2024 10:17 1h 58m 49s