Skip to content

Actions: Gbury/dolmen

Actions

install

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install.yml
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] Add Tptp v8.2 install #581: Pull request #204 opened by Gbury
January 26, 2024 14:52 36m 24s tptp_v8.2
tptp_v8.2
January 26, 2024 14:52 36m 24s
Add full mode stdin parsing (#201) install #580: Commit 7aad2fa pushed by Gbury
November 20, 2023 11:27 40m 54s master
master
November 20, 2023 11:27 40m 54s
Add full mode stdin parsing install #579: Pull request #201 synchronize by Gbury
November 20, 2023 09:23 41m 3s parse_all
parse_all
November 20, 2023 09:23 41m 3s
Add full mode stdin parsing install #578: Pull request #201 synchronize by Gbury
November 20, 2023 09:19 14m 49s parse_all
parse_all
November 20, 2023 09:19 14m 49s
Add full mode stdin parsing install #577: Pull request #201 synchronize by Gbury
November 20, 2023 09:18 15m 6s parse_all
parse_all
November 20, 2023 09:18 15m 6s
Add proper support for :named smtlib annotations (#199) install #576: Commit b14eb8a pushed by Gbury
November 20, 2023 09:06 38m 11s master
master
November 20, 2023 09:06 38m 11s
Add full mode stdin parsing install #575: Pull request #201 synchronize by Gbury
November 18, 2023 15:20 37m 21s parse_all
parse_all
November 18, 2023 15:20 37m 21s
Some more doc in HACKING.md install #574: Commit 77b2550 pushed by Gbury
November 18, 2023 14:56 40m 46s master
master
November 18, 2023 14:56 40m 46s
Add full mode stdin parsing install #573: Pull request #201 opened by Gbury
November 17, 2023 16:54 30m 50s parse_all
parse_all
November 17, 2023 16:54 30m 50s
Add proper support for :named smtlib annotations install #572: Pull request #199 synchronize by Gbury
November 17, 2023 15:40 41m 3s smt2_named
smt2_named
November 17, 2023 15:40 41m 3s
Add proper support for :named smtlib annotations install #571: Pull request #199 synchronize by Gbury
November 17, 2023 14:22 48m 0s smt2_named
smt2_named
November 17, 2023 14:22 48m 0s
Add proper support for :named smtlib annotations install #570: Pull request #199 synchronize by Gbury
November 17, 2023 14:12 38m 30s smt2_named
smt2_named
November 17, 2023 14:12 38m 30s
Add proper support for :named smtlib annotations install #569: Pull request #199 synchronize by Gbury
November 16, 2023 16:58 30m 25s smt2_named
smt2_named
November 16, 2023 16:58 30m 25s
Quoted symbols and printing for smtlib-related languages (#198) install #568: Commit dbdf4df pushed by Gbury
November 13, 2023 14:07 32m 18s master
master
November 13, 2023 14:07 32m 18s
Add proper support for :named smtlib annotations install #567: Pull request #199 opened by Gbury
November 13, 2023 11:40 27m 5s smt2_named
smt2_named
November 13, 2023 11:40 27m 5s
Quoted symbols and printing for smtlib-related languages install #566: Pull request #198 synchronize by Gbury
November 13, 2023 11:12 37m 7s ids
ids
November 13, 2023 11:12 37m 7s