Skip to content

Actions: ftsrg/ConcurrentWitness2Test

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
225 workflow runs
225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added black-check Black Check #1: Commit 0fbfd22 pushed by leventeBajczi
December 2, 2023 23:20 17s main
main
December 2, 2023 23:20 17s
pages build and deployment pages-build-deployment #16: by github-pages bot
November 27, 2023 12:45 1m 5s gh-pages
gh-pages
November 27, 2023 12:45 1m 5s
Moved deletion to safe place Build-Test-Deploy #33: Commit 70545a8 pushed by leventeBajczi
November 27, 2023 12:06 38m 27s main
main
November 27, 2023 12:06 38m 27s
Added logging Build-Test-Deploy #32: Commit 6b7f8a1 pushed by leventeBajczi
November 27, 2023 11:45 21m 31s main
main
November 27, 2023 11:45 21m 31s
Using returncode and stdout in one Build-Test-Deploy #31: Commit 915e132 pushed by leventeBajczi
November 27, 2023 11:41 5m 1s main
main
November 27, 2023 11:41 5m 1s
pages build and deployment pages-build-deployment #15: by github-pages bot
November 27, 2023 10:23 49s gh-pages
gh-pages
November 27, 2023 10:23 49s
Added retry-attempts to benchexec installation (moody command) Build-Test-Deploy #30: Commit a6d2088 pushed by leventeBajczi
November 27, 2023 09:44 38m 24s main
main
November 27, 2023 09:44 38m 24s
--graphml-witness Build-Test-Deploy #29: Commit 0fa6e24 pushed by leventeBajczi
November 27, 2023 09:40 1m 22s main
main
November 27, 2023 09:40 1m 22s
pages build and deployment pages-build-deployment #14: by github-pages bot
November 27, 2023 09:38 51s gh-pages
gh-pages
November 27, 2023 09:38 51s
Updated lazycseq placeholder Build-Test-Deploy #28: Commit fe9b9ec pushed by leventeBajczi
November 27, 2023 09:29 1m 16s main
main
November 27, 2023 09:29 1m 16s
pages build and deployment pages-build-deployment #13: by github-pages bot
November 26, 2023 22:39 55s gh-pages
gh-pages
November 26, 2023 22:39 55s
Parallelism 15->10 Build-Test-Deploy #27: Commit 44b4497 pushed by leventeBajczi
November 26, 2023 21:54 38m 14s main
main
November 26, 2023 21:54 38m 14s
Fixed sinknode detection Build-Test-Deploy #26: Commit cf54ed0 pushed by leventeBajczi
November 26, 2023 21:22 28m 46s main
main
November 26, 2023 21:22 28m 46s
pages build and deployment pages-build-deployment #12: by github-pages bot
November 26, 2023 20:58 56s gh-pages
gh-pages
November 26, 2023 20:58 56s
Fixed entry_nodes Build-Test-Deploy #25: Commit 027152a pushed by leventeBajczi
November 26, 2023 20:34 23m 38s main
main
November 26, 2023 20:34 23m 38s
pages build and deployment pages-build-deployment #11: by github-pages bot
November 26, 2023 19:34 59s gh-pages
gh-pages
November 26, 2023 19:34 59s
fix url Build-Test-Deploy #24: Commit 5710d9a pushed by leventeBajczi
November 26, 2023 19:21 12m 34s main
main
November 26, 2023 19:21 12m 34s
pages build and deployment pages-build-deployment #10: by github-pages bot
November 26, 2023 19:11 50s gh-pages
gh-pages
November 26, 2023 19:11 50s
Added https back to url Build-Test-Deploy #23: Commit aecfbee pushed by leventeBajczi
November 26, 2023 18:59 12m 53s main
main
November 26, 2023 18:59 12m 53s
pages build and deployment pages-build-deployment #9: by github-pages bot
November 26, 2023 18:56 1m 0s gh-pages
gh-pages
November 26, 2023 18:56 1m 0s
Patch benchexec table Build-Test-Deploy #22: Commit e782d2c pushed by leventeBajczi
November 26, 2023 18:44 12m 25s main
main
November 26, 2023 18:44 12m 25s
pages build and deployment pages-build-deployment #8: by github-pages bot
November 26, 2023 17:35 52s gh-pages
gh-pages
November 26, 2023 17:35 52s
Fix badge label Build-Test-Deploy #21: Commit 79c61f9 pushed by leventeBajczi
November 26, 2023 17:22 12m 59s main
main
November 26, 2023 17:22 12m 59s
Fix (?) link Build-Test-Deploy #20: Commit 5e94526 pushed by leventeBajczi
November 26, 2023 17:21 1m 14s main
main
November 26, 2023 17:21 1m 14s
pages build and deployment pages-build-deployment #7: by github-pages bot
November 26, 2023 17:06 52s gh-pages
gh-pages
November 26, 2023 17:06 52s