Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
614 workflow runs
614 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verification task per split (#841) Boogie CI #1466: Commit fbf1aa2 pushed by keyboardDrummer
February 2, 2024 17:57 6m 18s v3.0.11
v3.0.11
February 2, 2024 17:57 6m 18s
Verification task per split Boogie CI #1465: Pull request #841 synchronize by keyboardDrummer
February 2, 2024 17:46 6m 9s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
February 2, 2024 17:46 6m 9s
Verification task per split Boogie CI #1464: Pull request #841 synchronize by keyboardDrummer
February 2, 2024 17:38 1m 26s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
February 2, 2024 17:38 1m 26s
Verification task per split Boogie CI #1463: Pull request #841 synchronize by keyboardDrummer
February 2, 2024 14:53 6m 15s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
February 2, 2024 14:53 6m 15s
Verification task per split Boogie CI #1462: Pull request #841 synchronize by keyboardDrummer
February 2, 2024 14:52 6h 0m 24s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
February 2, 2024 14:52 6h 0m 24s
Verification task per split Boogie CI #1461: Pull request #841 synchronize by keyboardDrummer
February 2, 2024 14:38 6m 25s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
February 2, 2024 14:38 6m 25s
Verification task per split Boogie CI #1460: Pull request #841 synchronize by keyboardDrummer
February 2, 2024 14:38 6h 0m 23s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
February 2, 2024 14:38 6h 0m 23s
Verification task per split Boogie CI #1459: Pull request #841 synchronize by keyboardDrummer
February 2, 2024 14:14 1m 20s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
February 2, 2024 14:14 1m 20s
Verification task per split Boogie CI #1458: Pull request #841 synchronize by keyboardDrummer
January 31, 2024 16:44 1m 35s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 31, 2024 16:44 1m 35s
Verification task per split Boogie CI #1457: Pull request #841 synchronize by keyboardDrummer
January 30, 2024 15:27 1m 17s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 30, 2024 15:27 1m 17s
[Civl] eliminate use of Lset Boogie CI #1456: Pull request #844 opened by shazqadeer
January 28, 2024 04:31 6m 23s elim-lset-use
elim-lset-use
January 28, 2024 04:31 6m 23s
[Civl] eliminate use of Lval Boogie CI #1455: Pull request #843 opened by shazqadeer
January 27, 2024 22:24 6m 37s elim-use-lval
elim-use-lval
January 27, 2024 22:24 6m 37s
Verification task per split Boogie CI #1454: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 15:30 6m 28s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 15:30 6m 28s
Verification task per split Boogie CI #1453: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 15:29 6m 16s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 15:29 6m 16s
Verification task per split Boogie CI #1452: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 15:26 6m 23s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 15:26 6m 23s
Verification task per split Boogie CI #1451: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 15:25 6m 23s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 15:25 6m 23s
Update README.md Boogie CI #1450: Pull request #838 synchronize by shazqadeer
January 26, 2024 15:15 6m 54s shazqadeer-patch-1
shazqadeer-patch-1
January 26, 2024 15:15 6m 54s
Renames Boogie CI #1449: Pull request #842 synchronize by keyboardDrummer
January 26, 2024 14:36 6m 26s keyboardDrummer:solverOutcome
keyboardDrummer:solverOutcome
January 26, 2024 14:36 6m 26s
Renames Boogie CI #1448: Pull request #842 opened by keyboardDrummer
January 26, 2024 14:29 1m 0s keyboardDrummer:solverOutcome
keyboardDrummer:solverOutcome
January 26, 2024 14:29 1m 0s
Verification task per split Boogie CI #1447: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 13:56 6m 29s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 13:56 6m 29s
Verification task per split Boogie CI #1446: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 13:06 6m 28s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 13:06 6m 28s
Verification task per split Boogie CI #1445: Pull request #841 opened by keyboardDrummer
January 26, 2024 12:51 6m 8s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 12:51 6m 8s
Some refactoring in the VCGeneration assembly Boogie CI #1444: Pull request #840 synchronize by keyboardDrummer
January 26, 2024 12:50 6m 27s keyboardDrummer:refactoring
keyboardDrummer:refactoring
January 26, 2024 12:50 6m 27s
Some refactoring in the VCGeneration assembly Boogie CI #1443: Pull request #840 synchronize by keyboardDrummer
January 26, 2024 12:49 6m 42s keyboardDrummer:refactoring
keyboardDrummer:refactoring
January 26, 2024 12:49 6m 42s
Some refactoring in the VCGeneration assembly Boogie CI #1442: Pull request #840 opened by keyboardDrummer
January 26, 2024 12:45 1m 28s keyboardDrummer:refactoring
keyboardDrummer:refactoring
January 26, 2024 12:45 1m 28s
ProTip! You can narrow down the results and go further in time using created:<2024-01-26 or the other filters available.