Skip to content

Actions: pacti-org/pacti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

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
Pacti Development Review Pacti Development Review #9: Manually run by iincer
June 30, 2024 20:33 1m 33s proplogic
proplogic
June 30, 2024 20:33 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
Pacti Pre-Production Pacti Pre-Production #9: Manually run by iincer
September 8, 2023 22:21 3m 2s main
main
September 8, 2023 22:21 3m 2s
Pacti Production Pacti Production #10: Manually run by iincer
September 8, 2023 22:07 5m 42s main
main
September 8, 2023 22:07 5m 42s
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
Pacti Pre-Production Pacti Pre-Production #8: Manually run by iincer
September 5, 2023 04:41 3m 58s performance-benchmarking
performance-benchmarking
September 5, 2023 04:41 3m 58s
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
Upload Python Package Upload Python Package #1: Manually run by iincer
September 3, 2023 20:11 50s main
main
September 3, 2023 20:11 50s