Skip to content

Actions: coq-tactician/coq-tactician-api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 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
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
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
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
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 CI #569: Commit 51ee264 pushed by LasseBlaauwbroek
September 3, 2024 15:46 3m 31s proofs
proofs
September 3, 2024 15:46 3m 31s
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 CI #568: Commit 32a6c98 pushed by LasseBlaauwbroek
August 28, 2024 10:41 3m 38s proofs
proofs
August 28, 2024 10:41 3m 38s
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 CI #567: Commit d1ab544 pushed by LasseBlaauwbroek
August 21, 2024 12:57 3m 42s proofs
proofs
August 21, 2024 12:57 3m 42s
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 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
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 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
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
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
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 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 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