Skip to content

Actions: artagnon/bonak

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

paper: clean detritus coq-action #407: Commit d0d0325 pushed by artagnon
December 25, 2023 12:48 2m 19s master
master
December 25, 2023 12:48 2m 19s
paper: final polish coq-action #406: Commit 3313d5f pushed by artagnon
December 25, 2023 11:01 2m 17s master
master
December 25, 2023 11:01 2m 17s
paper: misc coq-action #405: Commit e787053 pushed by herbelin
December 25, 2023 10:31 2m 20s master
master
December 25, 2023 10:31 2m 20s
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