Skip to content

Actions: damianoazzolini/pasta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

disjunctive rules for conditionals instead of choice rules CI/CD #207: Commit 1406acc pushed by damianoazzolini
December 19, 2024 15:21 1m 13s master
master
December 19, 2024 15:21 1m 13s
minor in generator CI/CD #206: Commit e6f7554 pushed by damianoazzolini
December 19, 2024 13:25 1m 15s master
master
December 19, 2024 13:25 1m 15s
reachability benchmark CI/CD #205: Commit 76acb02 pushed by damianoazzolini
December 18, 2024 19:00 1m 13s master
master
December 18, 2024 19:00 1m 13s
fix generator CI/CD #204: Commit 4de83c9 pushed by damianoazzolini
December 3, 2024 10:19 1m 11s master
master
December 3, 2024 10:19 1m 11s
fix generator CI/CD #203: Commit c3d1e6a pushed by damianoazzolini
December 3, 2024 08:46 1m 14s master
master
December 3, 2024 08:46 1m 14s
fix generator CI/CD #202: Commit 256dafe pushed by damianoazzolini
December 3, 2024 08:31 1m 9s master
master
December 3, 2024 08:31 1m 9s
improved benchmarks generators CI/CD #201: Commit 4bd56c5 pushed by damianoazzolini
December 2, 2024 08:28 1m 16s master
master
December 2, 2024 08:28 1m 16s
smokers generator CI/CD #200: Commit 1d14766 pushed by damianoazzolini
November 30, 2024 11:14 1m 12s master
master
November 30, 2024 11:14 1m 12s
fixes in generator CI/CD #199: Commit d5199e0 pushed by damianoazzolini
November 30, 2024 10:43 1m 12s master
master
November 30, 2024 10:43 1m 12s
new generators CI/CD #198: Commit 3edc998 pushed by damianoazzolini
November 30, 2024 08:58 1m 13s master
master
November 30, 2024 08:58 1m 13s
added different symbols for negation and shifted negation CI/CD #197: Commit 58ec2e2 pushed by damianoazzolini
November 30, 2024 07:57 1m 10s master
master
November 30, 2024 07:57 1m 10s
refactor inference function CI/CD #196: Commit d5c48b3 pushed by damianoazzolini
November 29, 2024 08:31 1m 9s master
master
November 29, 2024 08:31 1m 9s
improved generator for MAP programs CI/CD #195: Commit 7f8e0e7 pushed by damianoazzolini
November 27, 2024 13:45 1m 15s master
master
November 27, 2024 13:45 1m 15s
fixes in benchmarks generator CI/CD #194: Commit 40f1263 pushed by damianoazzolini
November 25, 2024 16:46 1m 10s master
master
November 25, 2024 16:46 1m 10s
fixes in benchmarks generator CI/CD #193: Commit bf9a17d pushed by damianoazzolini
November 25, 2024 16:09 1m 11s master
master
November 25, 2024 16:09 1m 11s
benchmarks generator CI/CD #192: Commit 0f1aa41 pushed by damianoazzolini
November 22, 2024 14:13 1m 12s master
master
November 22, 2024 14:13 1m 12s
removed print CI/CD #191: Commit 07154d0 pushed by damianoazzolini
November 22, 2024 13:30 1m 13s master
master
November 22, 2024 13:30 1m 13s
improved function for extracting sub states CI/CD #190: Commit e75aa2d pushed by damianoazzolini
November 2, 2024 11:50 1m 12s master
master
November 2, 2024 11:50 1m 12s
no Docker push after pipeline CI/CD #189: Commit 17f2055 pushed by damianoazzolini
November 2, 2024 11:45 1m 13s master
master
November 2, 2024 11:45 1m 13s
fix tests CI/CD #188: Commit 4219815 pushed by damianoazzolini
October 30, 2024 13:54 1m 38s master
master
October 30, 2024 13:54 1m 38s
refactor MAP/MPE and tests CI/CD #187: Commit 78eb204 pushed by damianoazzolini
October 30, 2024 07:54 29m 39s master
master
October 30, 2024 07:54 29m 39s
simplified tests CI/CD #186: Commit 8f6a322 pushed by damianoazzolini
October 28, 2024 13:11 1m 36s master
master
October 28, 2024 13:11 1m 36s
fix MAP and tests CI/CD #185: Commit ac42523 pushed by damianoazzolini
October 26, 2024 10:05 1m 39s master
master
October 26, 2024 10:05 1m 39s
Merge branch 'master' of github.com:damianoazzolini/pasta CI/CD #184: Commit ca8b827 pushed by damianoazzolini
August 20, 2024 08:45 1m 35s master
master
August 20, 2024 08:45 1m 35s
Update README.md CI/CD #183: Commit 009e5ab pushed by damianoazzolini
June 14, 2024 11:14 1m 56s master
master
June 14, 2024 11:14 1m 56s