Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
392 workflow runs
392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve CI configuration Build Windows (Cross) #496: Pull request #167 opened by yanntm
July 4, 2024 20:33 12m 13s yanntm:main
yanntm:main
July 4, 2024 20:33 12m 13s
Update tapaal.sh Build Windows (Cross) #495: Commit 048df0e pushed by srba
June 17, 2024 05:50 12m 10s main
main
June 17, 2024 05:50 12m 10s
Update tapaal.sh Build Linux #475: Commit 048df0e pushed by srba
June 17, 2024 05:50 22m 46s main
main
June 17, 2024 05:50 22m 46s
Update tapaal.sh Build MacOS #500: Commit 048df0e pushed by srba
June 17, 2024 05:50 21m 6s main
main
June 17, 2024 05:50 21m 6s
Fix stubborn reduction bug involving inhibitor arcs Build Linux #474: Pull request #166 opened by NicEastvillage
May 13, 2024 13:26 22m 56s NicEastvillage:fix_stubborn_inh
NicEastvillage:fix_stubborn_inh
May 13, 2024 13:26 22m 56s
Fix stubborn reduction bug involving inhibitor arcs Build MacOS #499: Pull request #166 opened by NicEastvillage
May 13, 2024 13:26 20m 35s NicEastvillage:fix_stubborn_inh
NicEastvillage:fix_stubborn_inh
May 13, 2024 13:26 20m 35s
Fix stubborn reduction bug involving inhibitor arcs Build Windows (Cross) #494: Pull request #166 opened by NicEastvillage
May 13, 2024 13:26 12m 20s NicEastvillage:fix_stubborn_inh
NicEastvillage:fix_stubborn_inh
May 13, 2024 13:26 12m 20s
Update tapaal.sh Build Windows (Cross) #493: Commit 53b047e pushed by srba
May 6, 2024 08:47 11m 54s main
main
May 6, 2024 08:47 11m 54s
Update tapaal.sh Build MacOS #498: Commit 53b047e pushed by srba
May 6, 2024 08:47 21m 58s main
main
May 6, 2024 08:47 21m 58s
Update tapaal.sh Build Linux #473: Commit 53b047e pushed by srba
May 6, 2024 08:47 22m 59s main
main
May 6, 2024 08:47 22m 59s
Update README.txt Build Windows (Cross) #492: Commit 6bc0d66 pushed by srba
May 6, 2024 08:45 2m 23s main
main
May 6, 2024 08:45 2m 23s
Update README.txt Build MacOS #497: Commit 6bc0d66 pushed by srba
May 6, 2024 08:45 2m 25s main
main
May 6, 2024 08:45 2m 25s
Update README.txt Build Linux #472: Commit 6bc0d66 pushed by srba
May 6, 2024 08:45 2m 35s main
main
May 6, 2024 08:45 2m 35s
Update tapaal.sh Build MacOS #496: Commit e22cd28 pushed by srba
May 4, 2024 18:53 20m 52s main
main
May 4, 2024 18:53 20m 52s
Update tapaal.sh Build Windows (Cross) #491: Commit e22cd28 pushed by srba
May 4, 2024 18:53 13m 18s main
main
May 4, 2024 18:53 13m 18s
Update tapaal.sh Build Linux #471: Commit e22cd28 pushed by srba
May 4, 2024 18:53 25m 32s main
main
May 4, 2024 18:53 25m 32s
Update README.txt Build Windows (Cross) #490: Commit a0afe6c pushed by srba
May 1, 2024 09:33 12m 13s main
main
May 1, 2024 09:33 12m 13s
Update README.txt Build MacOS #495: Commit a0afe6c pushed by srba
May 1, 2024 09:33 20m 41s main
main
May 1, 2024 09:33 20m 41s
Update README.txt Build Linux #470: Commit a0afe6c pushed by srba
May 1, 2024 09:33 22m 38s main
main
May 1, 2024 09:33 22m 38s
Merge pull request #165 from TAPAAL/build_mcc_pipeline Build Windows (Cross) #489: Commit e96e06d pushed by srba
April 30, 2024 19:40 12m 38s main
main
April 30, 2024 19:40 12m 38s
Merge pull request #165 from TAPAAL/build_mcc_pipeline Build Linux #469: Commit e96e06d pushed by srba
April 30, 2024 19:40 23m 22s main
main
April 30, 2024 19:40 23m 22s
Merge pull request #165 from TAPAAL/build_mcc_pipeline Build MacOS #494: Commit e96e06d pushed by srba
April 30, 2024 19:40 20m 24s main
main
April 30, 2024 19:40 20m 24s
adding MCC artifact contruction Build Linux #468: Pull request #165 opened by petergjoel
April 30, 2024 16:30 24m 49s build_mcc_pipeline
build_mcc_pipeline
April 30, 2024 16:30 24m 49s
adding MCC artifact contruction Build Windows (Cross) #488: Pull request #165 opened by petergjoel
April 30, 2024 16:30 12m 54s build_mcc_pipeline
build_mcc_pipeline
April 30, 2024 16:30 12m 54s
adding MCC artifact contruction Build MacOS #493: Pull request #165 opened by petergjoel
April 30, 2024 16:30 23m 5s build_mcc_pipeline
build_mcc_pipeline
April 30, 2024 16:30 23m 5s
ProTip! You can narrow down the results and go further in time using created:<2024-04-30 or the other filters available.