Skip to content

Actions: artagnon/bonak

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README: polish coq-action #429: Commit b389cca pushed by artagnon
October 12, 2024 12:50 2m 33s master
master
October 12, 2024 12:50 2m 33s
README: polish coq-action #428: Commit 28f1b79 pushed by artagnon
October 12, 2024 12:49 2m 26s master
master
October 12, 2024 12:49 2m 26s
README: update with link to paper and ongoing work coq-action #427: Commit 587c579 pushed by artagnon
October 12, 2024 12:30 2m 23s master
master
October 12, 2024 12:30 2m 23s
pages build and deployment pages-build-deployment #16: by artagnon
October 12, 2024 12:19 47s doc
doc
October 12, 2024 12:19 47s
LeYoneda: clean detritus; polish README coq-action #426: Commit b177e65 pushed by artagnon
October 12, 2024 12:18 2m 29s master
master
October 12, 2024 12:18 2m 29s
pages build and deployment pages-build-deployment #15: by artagnon
October 12, 2024 12:02 41s doc
doc
October 12, 2024 12:02 41s
gendoc.sh: add small coqdoc helper coq-action #425: Commit 5749678 pushed by artagnon
October 12, 2024 12:01 2m 35s master
master
October 12, 2024 12:01 2m 35s
opam: downgrade dune for CI coq-action #424: Commit 3b3b03e pushed by artagnon
October 12, 2024 11:26 2m 24s master
master
October 12, 2024 11:26 2m 24s
opam: downgrade dune for CI coq-action #423: Commit 002fad9 pushed by artagnon
October 12, 2024 11:22 2m 14s master
master
October 12, 2024 11:22 2m 14s
paper: update after mscs review coq-action #422: Commit a53c131 pushed by artagnon
October 12, 2024 11:17 2m 1s master
master
October 12, 2024 11:17 2m 1s
README: minor typos, strip axiom coq-action #421: Commit f41a2c1 pushed by artagnon
September 28, 2024 13:57 1m 57s master
master
September 28, 2024 13:57 1m 57s
housekeeping/bonak.opam: bump packages coq-action #420: Commit 2f864f2 pushed by artagnon
March 16, 2024 11:36 2m 35s master
master
March 16, 2024 11:36 2m 35s