Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,695 workflow runs
1,695 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

UninterpretedConstOracle refactor (#2734) build #6384: Commit 2c336c1 pushed by Kukovec
October 19, 2023 13:03 34m 19s main
main
October 19, 2023 13:03 34m 19s
UninterpretedConstOracle refactor (#2734) deploy #1168: Commit 2c336c1 pushed by Kukovec
October 19, 2023 13:03 21s main
main
October 19, 2023 13:03 21s
UninterpretedConstOracle refactor build #6383: Pull request #2734 synchronize by Kukovec
October 19, 2023 12:32 31m 1s jk/oracles2
jk/oracles2
October 19, 2023 12:32 31m 1s
UninterpretedConstOracle refactor build #6382: Pull request #2734 synchronize by Kukovec
October 19, 2023 12:31 34m 2s jk/oracles2
jk/oracles2
October 19, 2023 12:31 34m 2s
UninterpretedConstOracle refactor build #6381: Pull request #2734 synchronize by Kukovec
October 19, 2023 12:15 28m 59s jk/oracles2
jk/oracles2
October 19, 2023 12:15 28m 59s
UninterpretedConstOracle refactor build #6380: Pull request #2734 synchronize by Kukovec
October 19, 2023 10:51 29m 43s jk/oracles2
jk/oracles2
October 19, 2023 10:51 29m 43s
Update compilerplugin, scalapb-runtime, ... to 0.11.14 build #6379: Pull request #2761 opened by scala-steward
October 18, 2023 18:16 44m 11s scala-steward:update/compilerplugin-0.11.14
scala-steward:update/compilerplugin-0.11.14
October 18, 2023 18:16 44m 11s
UninterpretedConstOracle refactor build #6378: Pull request #2734 synchronize by Kukovec
October 18, 2023 13:33 14m 30s jk/oracles2
jk/oracles2
October 18, 2023 13:33 14m 30s
Fix deadlock log message build #6377: Pull request #2760 synchronize by thpani
October 18, 2023 13:22 28m 3s th/log-deadlogs
th/log-deadlogs
October 18, 2023 13:22 28m 3s
Fix deadlock log message build #6376: Pull request #2760 synchronize by thpani
October 18, 2023 13:16 26m 51s th/log-deadlogs
th/log-deadlogs
October 18, 2023 13:16 26m 51s
Fix deadlock log message build #6375: Pull request #2760 synchronize by thpani
October 18, 2023 07:30 26m 0s th/log-deadlogs
th/log-deadlogs
October 18, 2023 07:30 26m 0s
Remove --nworkers (#2759) docker-container #920: Commit 9d7a760 pushed by thpani
October 18, 2023 07:08 3m 48s main
main
October 18, 2023 07:08 3m 48s
Remove --nworkers (#2759) deploy #1167: Commit 9d7a760 pushed by thpani
October 18, 2023 07:08 21s main
main
October 18, 2023 07:08 21s
Remove --nworkers (#2759) build #6374: Commit 9d7a760 pushed by thpani
October 18, 2023 07:08 33m 46s main
main
October 18, 2023 07:08 33m 46s
Remove --nworkers (#2759) Auto-update #597: Commit 9d7a760 pushed by thpani
October 18, 2023 07:08 17s main
main
October 18, 2023 07:08 17s
Remove --nworkers release #1311: Pull request #2759 closed by thpani
October 18, 2023 07:08 3s th/drop-nworkers
th/drop-nworkers
October 18, 2023 07:08 3s
Fix deadlock log message build #6373: Pull request #2760 synchronize by thpani
October 18, 2023 07:03 36m 17s th/log-deadlogs
th/log-deadlogs
October 18, 2023 07:03 36m 17s
Remove --nworkers build #6372: Pull request #2759 synchronize by thpani
October 18, 2023 06:33 35m 11s th/drop-nworkers
th/drop-nworkers
October 18, 2023 06:33 35m 11s
Fix deadlock log message build #6371: Pull request #2760 opened by thpani
October 17, 2023 15:25 29m 41s th/log-deadlogs
th/log-deadlogs
October 17, 2023 15:25 29m 41s
UninterpretedConstOracle refactor build #6370: Pull request #2734 synchronize by Kukovec
October 17, 2023 14:36 29m 17s jk/oracles2
jk/oracles2
October 17, 2023 14:36 29m 17s
Remove --nworkers build #6369: Pull request #2759 synchronize by thpani
October 17, 2023 14:19 38m 58s th/drop-nworkers
th/drop-nworkers
October 17, 2023 14:19 38m 58s
Remove --nworkers build #6368: Pull request #2759 synchronize by thpani
October 17, 2023 13:40 34m 0s th/drop-nworkers
th/drop-nworkers
October 17, 2023 13:40 34m 0s
Remove --nworkers build #6367: Pull request #2759 opened by thpani
October 17, 2023 13:39 32m 24s th/drop-nworkers
th/drop-nworkers
October 17, 2023 13:39 32m 24s
Type compatibility error message, when reading from .cfg (#2757) deploy #1166: Commit 16b040d pushed by Kukovec
October 17, 2023 11:06 18s main
main
October 17, 2023 11:06 18s
Type compatibility error message, when reading from .cfg (#2757) Auto-update #596: Commit 16b040d pushed by Kukovec
October 17, 2023 11:06 17s main
main
October 17, 2023 11:06 17s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.