Skip to content

Actions: coq-tactician/coq-tactician-api

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_docker.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[DRAFT] Initial model training CI #574: Pull request #25 opened by janidziakhb
January 22, 2025 07:43 Action required BlueRavenAI:graph-traversal-exploration
BlueRavenAI:graph-traversal-exploration
January 22, 2025 07:43 Action required
Get rid of GlobalContextMessage.tactics CI #573: Commit 301cd02 pushed by LasseBlaauwbroek
November 8, 2024 01:17 5m 45s proofs
proofs
November 8, 2024 01:17 5m 45s
Filter out tactics with more than 256 args CI #572: Commit 2c74b6a pushed by LasseBlaauwbroek
October 3, 2024 19:45 3m 31s proofs
proofs
October 3, 2024 19:45 3m 31s
Fix of silly bug CI #571: Commit b057ec2 pushed by LasseBlaauwbroek
October 1, 2024 21:13 6m 30s proofs
proofs
October 1, 2024 21:13 6m 30s
Filter out malformed proof states CI #570: Commit b883ae5 pushed by LasseBlaauwbroek
September 11, 2024 16:08 3m 39s proofs
proofs
September 11, 2024 16:08 3m 39s
Add option Tactician Neural TacticArguments CI #569: Commit 51ee264 pushed by LasseBlaauwbroek
September 3, 2024 15:46 3m 31s proofs
proofs
September 3, 2024 15:46 3m 31s
No proof term or after states CI #568: Commit 32a6c98 pushed by LasseBlaauwbroek
August 28, 2024 10:41 3m 38s proofs
proofs
August 28, 2024 10:41 3m 38s
Inline and incremental supplementary environment construction CI #567: Commit d1ab544 pushed by LasseBlaauwbroek
August 21, 2024 12:57 3m 42s proofs
proofs
August 21, 2024 12:57 3m 42s
Test2 CI #566: Commit e9647ed pushed by LasseBlaauwbroek
April 29, 2024 15:54 7m 57s proofs-ci-release
proofs-ci-release
April 29, 2024 15:54 7m 57s
Make test ci release CI #565: Commit d8acf9c pushed by LasseBlaauwbroek
April 29, 2024 15:52 7m 44s proofs-ci-release
proofs-ci-release
April 29, 2024 15:52 7m 44s
Proofs CI #564: Commit 8ae836d pushed by LasseBlaauwbroek
April 29, 2024 12:07 7m 47s proofs
proofs
April 29, 2024 12:07 7m 47s
Missing comma (evil python) CI #563: Commit 18e89c9 pushed by LasseBlaauwbroek
January 18, 2024 18:22 9m 41s coq8.11
coq8.11
January 18, 2024 18:22 9m 41s
Calculate the maximum chain of unseen dependencies CI #562: Commit 0e65e54 pushed by LasseBlaauwbroek
January 17, 2024 18:21 9m 23s coq8.11
coq8.11
January 17, 2024 18:21 9m 23s
Calculate the maximum chain of unseen dependencies CI #561: Commit 54801ab pushed by LasseBlaauwbroek
January 17, 2024 18:19 9m 31s coq8.11
coq8.11
January 17, 2024 18:19 9m 31s
Calculate the maximum chain of unseen dependencies CI #560: Commit e65b760 pushed by LasseBlaauwbroek
January 17, 2024 18:15 9m 30s coq8.11
coq8.11
January 17, 2024 18:15 9m 30s
Typo CI #559: Commit a12160c pushed by LasseBlaauwbroek
December 28, 2023 03:32 9m 10s coq8.11
coq8.11
December 28, 2023 03:32 9m 10s
Update conda instructions CI #558: Commit c071d48 pushed by LasseBlaauwbroek
December 24, 2023 22:53 8m 56s coq8.11
coq8.11
December 24, 2023 22:53 8m 56s
Typo CI #557: Commit e3c49b2 pushed by LasseBlaauwbroek
December 24, 2023 22:11 8m 58s coq8.11
coq8.11
December 24, 2023 22:11 8m 58s
Fix CI #556: Commit 31ce34c pushed by LasseBlaauwbroek
December 24, 2023 05:09 9m 14s coq8.11
coq8.11
December 24, 2023 05:09 9m 14s
Add opam description CI #555: Commit 28c4d39 pushed by LasseBlaauwbroek
December 23, 2023 05:55 9m 1s coq8.11
coq8.11
December 23, 2023 05:55 9m 1s
Prevent DDoS attacks by limiting the size of the graph CI #554: Commit ea1c531 pushed by LasseBlaauwbroek
December 23, 2023 05:45 9m 11s v15.0-8.11
v15.0-8.11
December 23, 2023 05:45 9m 11s