Skip to content

Actions: artagnon/bonak

Actions

coq-action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-action.yml
58 workflow runs
58 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

paper: minor polish coq-action #404: Commit 8bd0497 pushed by artagnon
December 24, 2023 12:45 2m 17s master
master
December 24, 2023 12:45 2m 17s
paper: major polish coq-action #403: Commit 5a9fdc2 pushed by artagnon
December 24, 2023 12:02 2m 30s master
master
December 24, 2023 12:02 2m 30s
paper: some more polish coq-action #402: Commit f2883fa pushed by artagnon
December 17, 2023 12:23 2m 26s master
master
December 17, 2023 12:23 2m 26s
paper: major polish coq-action #401: Commit 41d197a pushed by artagnon
December 17, 2023 12:18 2m 28s master
master
December 17, 2023 12:18 2m 28s
paper: polish Future Work coq-action #400: Commit 15ffdf1 pushed by artagnon
December 3, 2023 10:59 2m 12s master
master
December 3, 2023 10:59 2m 12s
paper: minor polish of footnote coq-action #399: Commit d7b04f0 pushed by artagnon
November 26, 2023 12:04 2m 26s master
master
November 26, 2023 12:04 2m 26s
paper: minor polish coq-action #398: Commit 83773a9 pushed by artagnon
November 26, 2023 11:56 2m 21s master
master
November 26, 2023 11:56 2m 21s
paper: minor pluralization coq-action #397: Commit c0b55fb pushed by artagnon
November 26, 2023 11:49 2m 23s master
master
November 26, 2023 11:49 2m 23s
paper: minor polish coq-action #396: Commit 045ea46 pushed by artagnon
November 26, 2023 11:48 2m 15s master
master
November 26, 2023 11:48 2m 15s
paper: major work on last two sections coq-action #395: Commit ca42e88 pushed by artagnon
November 26, 2023 11:35 2m 13s master
master
November 26, 2023 11:35 2m 13s
paper: some additions; remove useless float coq-action #394: Commit ca98ef3 pushed by artagnon
November 26, 2023 11:02 2m 16s master
master
November 26, 2023 11:02 2m 16s
Upgrading version of Coq coq-action #393: Commit 9465524 pushed by herbelin
November 26, 2023 10:54 2m 24s master
master
November 26, 2023 10:54 2m 24s
paper: minor polish coq-action #392: Commit 91e9ca5 pushed by artagnon
November 26, 2023 10:29 2m 18s master
master
November 26, 2023 10:29 2m 18s
paper: macro cleanup, NFC coq-action #391: Commit 3cdc346 pushed by artagnon
November 19, 2023 14:20 2m 18s master
master
November 19, 2023 14:20 2m 18s
paper, msc, art.cls: squelch some warnings; switch to master coq-action #390: Commit 8718d8c pushed by artagnon
November 19, 2023 13:53 2m 21s master
master
November 19, 2023 13:53 2m 21s
paper: tweak caption fontsize coq-action #389: Commit 98edb0d pushed by artagnon
November 19, 2023 13:33 2m 24s master
master
November 19, 2023 13:33 2m 24s
paper: kill some floats, adjust whitespace coq-action #388: Commit 2bccd70 pushed by artagnon
November 19, 2023 13:23 2m 15s master
master
November 19, 2023 13:23 2m 15s
Improving text coq-action #387: Commit f00539f pushed by herbelin
November 19, 2023 12:43 2m 18s master
master
November 19, 2023 12:43 2m 18s
paper: tweak font sizes harder using anyfont; lmodern coq-action #386: Commit 0bb6de9 pushed by artagnon
November 19, 2023 12:41 2m 25s master
master
November 19, 2023 12:41 2m 25s
About parametricity coq-action #385: Commit 2aae42e pushed by herbelin
November 19, 2023 12:38 2m 26s master
master
November 19, 2023 12:38 2m 26s
paper: tweak table numbering coq-action #384: Commit d34c6ef pushed by artagnon
November 19, 2023 12:11 2m 31s master
master
November 19, 2023 12:11 2m 31s
paper: formatting; kill overflows, unnecessary float coq-action #383: Commit 45f6177 pushed by artagnon
November 19, 2023 11:54 2m 23s master
master
November 19, 2023 11:54 2m 23s
paper: minor polish, cleanup coq-action #382: Commit 2290cdc pushed by artagnon
November 19, 2023 11:06 2m 24s master
master
November 19, 2023 11:06 2m 24s
Using \times in parametricity. coq-action #381: Commit 8a44fa6 pushed by herbelin
November 12, 2023 12:27 2m 22s master
master
November 12, 2023 12:27 2m 22s
paper: fix inconsistencies (WIP) coq-action #380: Commit 84ff8bf pushed by artagnon
November 12, 2023 11:58 2m 44s master
master
November 12, 2023 11:58 2m 44s