Skip to content

Actions: radumcostache/VLSM_Sequent_Calculus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #4: by github-pages bot
31s gh-pages
gh-pages
31s
Added CUT rule Coq CI & Coqdoc Deploy #26: Commit 1aed612 pushed by radumcostache
15m 41s main
main
15m 41s
pages build and deployment pages-build-deployment #3: by github-pages bot
26s gh-pages
gh-pages
26s
Improve docs (#4) Coq CI & Coqdoc Deploy #25: Commit 50c73f9 pushed by radumcostache
16m 23s main
main
16m 23s
Repair ci Coq CI & Coqdoc Deploy #24: Pull request #4 opened by radumcostache
15m 32s repair-ci
repair-ci
15m 32s
Add table of contents Coq CI & Coqdoc Deploy #23: Commit 0617c7a pushed by radumcostache
15m 8s repair-ci
repair-ci
15m 8s
pages build and deployment pages-build-deployment #2: by github-pages bot
26s gh-pages
gh-pages
26s
Update Makefile (#3) Coq CI & Coqdoc Deploy #22: Commit 12ea178 pushed by radumcostache
15m 17s main
main
15m 17s
Repair Makefile for CI Coq CI & Coqdoc Deploy #21: Pull request #3 opened by radumcostache
46s repair-ci
repair-ci
46s
Update Makefile Coq CI & Coqdoc Deploy #20: Commit 523bc29 pushed by radumcostache
15m 16s repair-ci
repair-ci
15m 16s
CI docs (#2) Coq CI & Coqdoc Deploy #19: Commit e597009 pushed by radumcostache
12s repair-ci
repair-ci
12s
CI docs (#2) Coq CI & Coqdoc Deploy #18: Commit e597009 pushed by radumcostache
15m 9s main
main
15m 9s
CI docs Coq CI & Coqdoc Deploy #17: Pull request #2 opened by radumcostache
15m 27s ci-docs
ci-docs
15m 27s
Added: Coq CI & Coqdoc Deploy #16: Commit f8f00b9 pushed by radumcostache
3m 9s main
main
3m 9s
Update ci.yml Coq CI & Coqdoc Deploy #15: Commit 067b3b3 pushed by radumcostache
7m 14s ci-docs
ci-docs
7m 14s
pages build and deployment pages-build-deployment #1: by radumcostache
30s gh-pages
gh-pages
30s
Update ci.yml Coq CI & Coqdoc Deploy #14: Commit ebad065 pushed by radumcostache
15m 19s ci-docs
ci-docs
15m 19s
Update ci.yml Coq CI & Coqdoc Deploy #13: Commit ab10b79 pushed by radumcostache
15m 12s ci-docs
ci-docs
15m 12s
Update ci.yml Coq CI & Coqdoc Deploy #12: Commit ceb01f7 pushed by radumcostache
11s ci-docs
ci-docs
11s
Add proofs for Classical Logic, Fix initial states Coq CI & Coqdoc Deploy #11: Commit 15edc54 pushed by radumcostache
25s ci-docs
ci-docs
25s
Add proofs for Classical Logic, Fix initial states Coq CI & Coqdoc Deploy #10: Commit 15edc54 pushed by radumcostache
14m 6s main
main
14m 6s
Add CI (#1) Coq CI & Coqdoc Deploy #9: Commit c02f55f pushed by radumcostache
13m 46s main
main
13m 46s
Add CI Coq CI & Coqdoc Deploy #8: Pull request #1 opened by radumcostache
14m 15s ci
ci
14m 15s