Skip to content

Actions: pacti-org/pacti

Actions

Pacti Development

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pacti_development.yml
64 workflow runs
64 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Added simplification functionality for propositional term lists and f… Pacti Development #156: Commit b237467 pushed by iincer
July 1, 2024 02:40 1m 36s proplogic
proplogic
July 1, 2024 02:40 1m 36s
Tracking down a bug... Pacti Development #155: Commit 93276f6 pushed by iincer
June 30, 2024 23:02 1m 33s proplogic
proplogic
June 30, 2024 23:02 1m 33s
Linting Pacti Development #154: Commit c1ae5ea pushed by iincer
June 30, 2024 20:30 1m 40s proplogic
proplogic
June 30, 2024 20:30 1m 40s
Trimming file Pacti Development #153: Commit 2728e8d pushed by iincer
June 30, 2024 02:22 1m 39s proplogic
proplogic
June 30, 2024 02:22 1m 39s
More updates... Pacti Development #152: Commit f22c754 pushed by iincer
June 30, 2024 01:47 1m 40s proplogic
proplogic
June 30, 2024 01:47 1m 40s
Minor Pacti Development #151: Commit 5c57d82 pushed by iincer
June 28, 2024 23:59 1m 41s proplogic
proplogic
June 28, 2024 23:59 1m 41s
m Pacti Development #150: Commit d58cded pushed by iincer
June 28, 2024 01:03 1m 31s proplogic
proplogic
June 28, 2024 01:03 1m 31s
Starting to support prop logic Pacti Development #149: Commit dbaddb9 pushed by iincer
June 27, 2024 00:39 2m 5s proplogic
proplogic
June 27, 2024 00:39 2m 5s
m Pacti Development #148: Commit 9dc2a77 pushed by iincer
November 14, 2023 22:36 2m 28s new_tactic_fuel_system
new_tactic_fuel_system
November 14, 2023 22:36 2m 28s
updated TACTICS_ORDER Pacti Development #147: Commit b838588 pushed by NicolasRouquette
October 2, 2023 16:46 2m 6s new_tactic_fuel_system
new_tactic_fuel_system
October 2, 2023 16:46 2m 6s
Fuel_system example running Pacti Development #146: Commit 8ba0e0c pushed by iincer
September 28, 2023 06:15 2m 31s new_tactic_fuel_system
new_tactic_fuel_system
September 28, 2023 06:15 2m 31s
Example. Pacti Development #145: Commit 6cb8444 pushed by NicolasRouquette
September 7, 2023 05:00 2m 23s performance-benchmarking
performance-benchmarking
September 7, 2023 05:00 2m 23s
Support for parenthesized arithmetic expressions. Pacti Development #144: Commit f902115 pushed by NicolasRouquette
September 7, 2023 04:41 2m 10s performance-benchmarking
performance-benchmarking
September 7, 2023 04:41 2m 10s
more coverage. Pacti Development #143: Commit 67dd29f pushed by NicolasRouquette
September 6, 2023 04:55 2m 0s performance-benchmarking
performance-benchmarking
September 6, 2023 04:55 2m 0s
improved coverage for variable elimination. Pacti Development #142: Commit b5efc9c pushed by NicolasRouquette
September 6, 2023 04:16 2m 4s performance-benchmarking
performance-benchmarking
September 6, 2023 04:16 2m 4s
better test name. Pacti Development #141: Commit db245f2 pushed by NicolasRouquette
September 6, 2023 04:03 2m 9s performance-benchmarking
performance-benchmarking
September 6, 2023 04:03 2m 9s
more coverage. Pacti Development #140: Commit 033e861 pushed by NicolasRouquette
September 6, 2023 04:02 2m 43s performance-benchmarking
performance-benchmarking
September 6, 2023 04:02 2m 43s
Some tests. Pacti Development #139: Commit 73eaade pushed by NicolasRouquette
September 6, 2023 03:42 3m 3s performance-benchmarking
performance-benchmarking
September 6, 2023 03:42 3m 3s
fixed all tests, quality checks, and type checks. Pacti Development #138: Commit d6ed8bf pushed by NicolasRouquette
September 5, 2023 03:41 2m 19s performance-benchmarking
performance-benchmarking
September 5, 2023 03:41 2m 19s
non-source updates for compatible API changes. Pacti Development #137: Commit 6904596 pushed by NicolasRouquette
September 5, 2023 01:36 2m 51s performance-benchmarking
performance-benchmarking
September 5, 2023 01:36 2m 51s
We do not build documentation here Pacti Development #134: Commit 8f5577e pushed by iincer
September 3, 2023 18:40 2m 40s 280-improve-test-coverage
280-improve-test-coverage
September 3, 2023 18:40 2m 40s
Improving coverage Pacti Development #133: Commit 251d429 pushed by iincer
September 3, 2023 17:37 2m 7s 280-improve-test-coverage
280-improve-test-coverage
September 3, 2023 17:37 2m 7s
No magical file names Pacti Development #132: Commit 8f25ac9 pushed by iincer
September 3, 2023 16:03 2m 48s 280-improve-test-coverage
280-improve-test-coverage
September 3, 2023 16:03 2m 48s
Adding fileiotest Pacti Development #131: Commit d770127 pushed by iincer
September 3, 2023 07:34 2m 1s 280-improve-test-coverage
280-improve-test-coverage
September 3, 2023 07:34 2m 1s
Merge branch 'main' into 280-improve-test-coverage Pacti Development #130: Commit 6100a71 pushed by iincer
September 3, 2023 02:40 2m 2s 280-improve-test-coverage
280-improve-test-coverage
September 3, 2023 02:40 2m 2s