Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci-for-pr

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci-for-pr.yml
362 workflow runs
362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add pandoc flag to cheatsheet generation docker-ci-for-pr #429: Pull request #1331 opened by hrutvik
November 5, 2024 09:51 2h 12m 28s hrutvik:cheatsheet-pandoc-fix
hrutvik:cheatsheet-pandoc-fix
November 5, 2024 09:51 2h 12m 28s
fix doc docker-ci-for-pr #428: Pull request #1329 opened by digama0
October 26, 2024 00:38 2h 9m 36s digama0:docfix
digama0:docfix
October 26, 2024 00:38 2h 9m 36s
mllex: write accepting branches in source order docker-ci-for-pr #427: Pull request #1328 opened by digama0
October 25, 2024 17:46 2m 56s digama0:mllex_order
digama0:mllex_order
October 25, 2024 17:46 2m 56s
Allow passing .sig files to hol docker-ci-for-pr #426: Pull request #1327 opened by digama0
October 25, 2024 11:53 2h 10m 14s digama0:build_sig
digama0:build_sig
October 25, 2024 11:53 2h 10m 14s
Add alternative imperative example and proofs of equivalence with fun-op-sem/imp docker-ci-for-pr #425: Pull request #1321 synchronize by adamstucci
October 25, 2024 08:30 3m 43s adamstucci:listImp
adamstucci:listImp
October 25, 2024 08:30 3m 43s
Add new definition: word_exp docker-ci-for-pr #424: Pull request #1326 synchronize by xrchz
October 20, 2024 12:21 2h 12m 10s word_exp
word_exp
October 20, 2024 12:21 2h 12m 10s
Add new definition: word_exp docker-ci-for-pr #423: Pull request #1326 synchronize by xrchz
October 20, 2024 12:19 2h 10m 2s word_exp
word_exp
October 20, 2024 12:19 2h 10m 2s
Add new definition: word_exp docker-ci-for-pr #422: Pull request #1326 synchronize by xrchz
October 20, 2024 12:16 2h 9m 2s word_exp
word_exp
October 20, 2024 12:16 2h 9m 2s
Add new definition: word_exp docker-ci-for-pr #421: Pull request #1326 synchronize by xrchz
October 20, 2024 06:51 2h 8m 2s word_exp
word_exp
October 20, 2024 06:51 2h 8m 2s
Add new definition: word_exp docker-ci-for-pr #420: Pull request #1326 synchronize by xrchz
October 19, 2024 22:16 2h 4m 23s word_exp
word_exp
October 19, 2024 22:16 2h 4m 23s
Add new definition: word_exp docker-ci-for-pr #419: Pull request #1326 opened by xrchz
October 19, 2024 22:12 2h 0m 5s word_exp
word_exp
October 19, 2024 22:12 2h 0m 5s
Add some theorems to finite_setTheory docker-ci-for-pr #418: Pull request #1320 synchronize by xrchz
October 16, 2024 07:14 2h 12m 0s fset
fset
October 16, 2024 07:14 2h 12m 0s
add getKeys to json lib docker-ci-for-pr #417: Pull request #1323 synchronize by rsoeldner
October 15, 2024 14:44 2h 17m 17s rsoeldner:json-keys
rsoeldner:json-keys
October 15, 2024 14:44 2h 17m 17s
add getKeys to json lib docker-ci-for-pr #416: Pull request #1323 opened by rsoeldner
October 15, 2024 14:39 2h 18m 8s rsoeldner:json-keys
rsoeldner:json-keys
October 15, 2024 14:39 2h 18m 8s
add basic json accessors docker-ci-for-pr #415: Pull request #1322 synchronize by rsoeldner
October 14, 2024 19:30 2h 5m 43s rsoeldner:json-accessors
rsoeldner:json-accessors
October 14, 2024 19:30 2h 5m 43s
add basic json accessors docker-ci-for-pr #414: Pull request #1322 synchronize by rsoeldner
October 14, 2024 19:13 2h 8m 3s rsoeldner:json-accessors
rsoeldner:json-accessors
October 14, 2024 19:13 2h 8m 3s
add basic json accessors docker-ci-for-pr #413: Pull request #1322 synchronize by rsoeldner
October 14, 2024 15:03 2h 7m 12s rsoeldner:json-accessors
rsoeldner:json-accessors
October 14, 2024 15:03 2h 7m 12s
add basic json accessors docker-ci-for-pr #412: Pull request #1322 opened by rsoeldner
October 14, 2024 14:53 2h 11m 44s rsoeldner:json-accessors
rsoeldner:json-accessors
October 14, 2024 14:53 2h 11m 44s
Add alternative imperative example and proofs of equivalence with fun-op-sem/imp docker-ci-for-pr #411: Pull request #1321 opened by adamstucci
October 14, 2024 06:01 2h 9m 5s adamstucci:listImp
adamstucci:listImp
October 14, 2024 06:01 2h 9m 5s
Add some theorems to finite_setTheory docker-ci-for-pr #410: Pull request #1320 opened by xrchz
October 12, 2024 10:07 2h 8m 48s fset
fset
October 12, 2024 10:07 2h 8m 48s
Move some theorems out of keccakScript.sml docker-ci-for-pr #409: Pull request #1319 opened by xrchz
October 12, 2024 09:42 2h 5m 45s while
while
October 12, 2024 09:42 2h 5m 45s
Add cv support for finite sets of nums docker-ci-for-pr #408: Pull request #1318 synchronize by xrchz
October 9, 2024 21:57 2h 11m 6s cv_num_fset
cv_num_fset
October 9, 2024 21:57 2h 11m 6s
Add cv support for finite sets of nums docker-ci-for-pr #407: Pull request #1318 synchronize by xrchz
October 9, 2024 21:40 2h 14m 3s cv_num_fset
cv_num_fset
October 9, 2024 21:40 2h 14m 3s
Add cv support for finite sets of nums docker-ci-for-pr #406: Pull request #1318 synchronize by xrchz
October 9, 2024 20:17 2h 17m 39s cv_num_fset
cv_num_fset
October 9, 2024 20:17 2h 17m 39s
Add cv support for finite sets of nums docker-ci-for-pr #405: Pull request #1318 synchronize by xrchz
October 7, 2024 10:52 1h 57m 24s cv_num_fset
cv_num_fset
October 7, 2024 10:52 1h 57m 24s