Skip to content

Actions: coq-tactician/coq-tactician-api

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_pytact.yml
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Get rid of GlobalContextMessage.tactics Build #197: Commit 301cd02 pushed by LasseBlaauwbroek
November 8, 2024 01:17 1h 16m 56s proofs
proofs
November 8, 2024 01:17 1h 16m 56s
Filter out tactics with more than 256 args Build #196: Commit 2c74b6a pushed by LasseBlaauwbroek
October 3, 2024 19:45 1h 0m 24s proofs
proofs
October 3, 2024 19:45 1h 0m 24s
Fix of silly bug Build #195: Commit b057ec2 pushed by LasseBlaauwbroek
October 1, 2024 21:13 58m 47s proofs
proofs
October 1, 2024 21:13 58m 47s
Filter out malformed proof states Build #194: Commit b883ae5 pushed by LasseBlaauwbroek
September 11, 2024 16:08 57m 19s proofs
proofs
September 11, 2024 16:08 57m 19s
Add option Tactician Neural TacticArguments Build #193: Commit 51ee264 pushed by LasseBlaauwbroek
September 3, 2024 15:46 58m 8s proofs
proofs
September 3, 2024 15:46 58m 8s
No proof term or after states Build #192: Commit 32a6c98 pushed by LasseBlaauwbroek
August 28, 2024 10:41 57m 55s proofs
proofs
August 28, 2024 10:41 57m 55s
Inline and incremental supplementary environment construction Build #191: Commit d1ab544 pushed by LasseBlaauwbroek
August 21, 2024 12:57 57m 46s proofs
proofs
August 21, 2024 12:57 57m 46s
Test2 Build #190: Commit e9647ed pushed by LasseBlaauwbroek
April 29, 2024 15:54 57m 41s proofs-ci-release
proofs-ci-release
April 29, 2024 15:54 57m 41s
Make test ci release Build #189: Commit d8acf9c pushed by LasseBlaauwbroek
April 29, 2024 15:52 2m 30s proofs-ci-release
proofs-ci-release
April 29, 2024 15:52 2m 30s
Proofs Build #188: Commit 8ae836d pushed by LasseBlaauwbroek
April 29, 2024 12:07 56m 57s proofs
proofs
April 29, 2024 12:07 56m 57s
Missing comma (evil python) Build #187: Commit 18e89c9 pushed by LasseBlaauwbroek
January 18, 2024 18:22 20m 25s coq8.11
coq8.11
January 18, 2024 18:22 20m 25s
Calculate the maximum chain of unseen dependencies Build #186: Commit 0e65e54 pushed by LasseBlaauwbroek
January 17, 2024 18:21 19m 59s coq8.11
coq8.11
January 17, 2024 18:21 19m 59s
Calculate the maximum chain of unseen dependencies Build #185: Commit 54801ab pushed by LasseBlaauwbroek
January 17, 2024 18:19 24m 10s coq8.11
coq8.11
January 17, 2024 18:19 24m 10s
Calculate the maximum chain of unseen dependencies Build #184: Commit e65b760 pushed by LasseBlaauwbroek
January 17, 2024 18:15 20m 31s coq8.11
coq8.11
January 17, 2024 18:15 20m 31s
Typo Build #183: Commit a12160c pushed by LasseBlaauwbroek
December 28, 2023 03:32 20m 42s coq8.11
coq8.11
December 28, 2023 03:32 20m 42s
Update conda instructions Build #182: Commit c071d48 pushed by LasseBlaauwbroek
December 24, 2023 22:53 20m 8s coq8.11
coq8.11
December 24, 2023 22:53 20m 8s
Typo Build #181: Commit e3c49b2 pushed by LasseBlaauwbroek
December 24, 2023 22:11 20m 10s coq8.11
coq8.11
December 24, 2023 22:11 20m 10s
Fix Build #180: Commit 31ce34c pushed by LasseBlaauwbroek
December 24, 2023 05:09 20m 16s coq8.11
coq8.11
December 24, 2023 05:09 20m 16s
Add opam description Build #179: Commit 28c4d39 pushed by LasseBlaauwbroek
December 23, 2023 05:55 20m 17s coq8.11
coq8.11
December 23, 2023 05:55 20m 17s
Prevent DDoS attacks by limiting the size of the graph Build #178: Commit ea1c531 pushed by LasseBlaauwbroek
December 23, 2023 05:45 20m 25s v15.0-8.11
v15.0-8.11
December 23, 2023 05:45 20m 25s
http instead of ssh Build #177: Commit 87ee088 pushed by LasseBlaauwbroek
November 9, 2023 02:08 1h 27m 36s rpc
rpc
November 9, 2023 02:08 1h 27m 36s
Python RPC support Build #176: Commit 120bf96 pushed by LasseBlaauwbroek
November 9, 2023 02:03 7m 20s rpc
rpc
November 9, 2023 02:03 7m 20s
Prevent DDoS attacks by limiting the size of the graph Build #175: Commit ea1c531 pushed by LasseBlaauwbroek
October 30, 2023 12:32 36m 19s coq8.11
coq8.11
October 30, 2023 12:32 36m 19s
Better readme image Build #174: Commit ad011ec pushed by LasseBlaauwbroek
October 26, 2023 01:30 36m 25s coq8.11
coq8.11
October 26, 2023 01:30 36m 25s
Fix readme Build #173: Commit 8f61e3d pushed by LasseBlaauwbroek
October 24, 2023 18:43 34m 5s coq8.11
coq8.11
October 24, 2023 18:43 34m 5s