Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2731 from informalsystems/jk/oracles Auto-update #620: Commit 70d7f24 pushed by shonfeder
January 3, 2024 21:55 12s main
main
January 3, 2024 21:55 12s
Merge pull request #2731 from informalsystems/jk/oracles deploy #1190: Commit 70d7f24 pushed by shonfeder
January 3, 2024 21:55 15s main
main
January 3, 2024 21:55 15s
MockOracle refactor release #1351: Pull request #2731 closed by shonfeder
January 3, 2024 21:55 3s jk/oracles
jk/oracles
January 3, 2024 21:55 3s
MockOracle refactor build #6469: Pull request #2731 synchronize by shonfeder
January 3, 2024 21:21 33m 58s jk/oracles
jk/oracles
January 3, 2024 21:21 33m 58s
MockOracle refactor build #6468: Pull request #2731 synchronize by shonfeder
January 3, 2024 21:08 21m 56s jk/oracles
jk/oracles
January 3, 2024 21:08 21m 56s
MockOracle refactor build #6467: Pull request #2731 synchronize by shonfeder
January 3, 2024 20:31 31m 25s jk/oracles
jk/oracles
January 3, 2024 20:31 31m 25s
A tutorial on property-based testing and Apalache-TLC release #1350: Pull request #1831 closed by shonfeder
January 3, 2024 20:31 2s ik/pbt-tutorial
ik/pbt-tutorial
January 3, 2024 20:31 2s
A tutorial on property-based testing and Apalache-TLC build #6466: Pull request #1831 synchronize by shonfeder
January 3, 2024 20:28 18m 57s ik/pbt-tutorial
ik/pbt-tutorial
January 3, 2024 20:28 18m 57s
a work-in-progress spec of the model checker release #1349: Pull request #1757 closed by shonfeder
January 3, 2024 20:26 3s ik/spec1756
ik/spec1756
January 3, 2024 20:26 3s
New approach to rewriting rules release #1348: Pull request #899 closed by shonfeder
January 3, 2024 20:20 2s jk/rewriterV2
jk/rewriterV2
January 3, 2024 20:20 2s
[WIP] Unboxing Quint tuples in operator applications release #1347: Pull request #2680 closed by shonfeder
January 3, 2024 20:17 4s th/tuple-unboxing
th/tuple-unboxing
January 3, 2024 20:17 4s
Merge pull request #2787 from scala-steward/update/grpc-netty-1.59.1 Auto-update #619: Commit 253f4c4 pushed by shonfeder
January 2, 2024 19:21 15s main
main
January 2, 2024 19:21 15s
Merge pull request #2787 from scala-steward/update/grpc-netty-1.59.1 deploy #1189: Commit 253f4c4 pushed by shonfeder
January 2, 2024 19:21 16s main
main
January 2, 2024 19:21 16s
Merge pull request #2787 from scala-steward/update/grpc-netty-1.59.1 build #6465: Commit 253f4c4 pushed by shonfeder
January 2, 2024 19:21 23m 5s main
main
January 2, 2024 19:21 23m 5s
Merge pull request #2787 from scala-steward/update/grpc-netty-1.59.1 docker-container #945: Commit 253f4c4 pushed by shonfeder
January 2, 2024 19:21 2m 51s main
main
January 2, 2024 19:21 2m 51s
Update grpc-netty to 1.59.1 release #1346: Pull request #2787 closed by shonfeder
January 2, 2024 19:21 3s scala-steward:update/grpc-netty-1.59.1
scala-steward:update/grpc-netty-1.59.1
January 2, 2024 19:21 3s
Update grpc-netty to 1.59.1 build #6464: Pull request #2787 synchronize by apalache-bot
January 2, 2024 18:54 26m 49s scala-steward:update/grpc-netty-1.59.1
scala-steward:update/grpc-netty-1.59.1
January 2, 2024 18:54 26m 49s
Merge pull request #2790 from scala-steward/update/logback-classic-1.… Auto-update #618: Commit db70228 pushed by shonfeder
January 2, 2024 18:54 14s main
main
January 2, 2024 18:54 14s
Merge pull request #2790 from scala-steward/update/logback-classic-1.… docker-container #944: Commit db70228 pushed by shonfeder
January 2, 2024 18:54 3m 43s main
main
January 2, 2024 18:54 3m 43s
Merge pull request #2790 from scala-steward/update/logback-classic-1.… build #6463: Commit db70228 pushed by shonfeder
January 2, 2024 18:54 33m 40s main
main
January 2, 2024 18:54 33m 40s
Merge pull request #2790 from scala-steward/update/logback-classic-1.… deploy #1188: Commit db70228 pushed by shonfeder
January 2, 2024 18:54 20s main
main
January 2, 2024 18:54 20s
Update logback-classic, logback-core to 1.4.14 release #1345: Pull request #2790 closed by shonfeder
January 2, 2024 18:54 2s scala-steward:update/logback-classic-1.4.14
scala-steward:update/logback-classic-1.4.14
January 2, 2024 18:54 2s
Update grpc-netty to 1.59.1 build #6462: Pull request #2787 synchronize by apalache-bot
January 2, 2024 18:33 33m 59s scala-steward:update/grpc-netty-1.59.1
scala-steward:update/grpc-netty-1.59.1
January 2, 2024 18:33 33m 59s
Update logback-classic, logback-core to 1.4.14 build #6461: Pull request #2790 synchronize by apalache-bot
January 2, 2024 18:33 20m 57s scala-steward:update/logback-classic-1.4.14
scala-steward:update/logback-classic-1.4.14
January 2, 2024 18:33 20m 57s
Merge pull request #2791 from scala-steward/update/commons-io-2.15.1 Auto-update #617: Commit d093642 pushed by shonfeder
January 2, 2024 18:33 15s main
main
January 2, 2024 18:33 15s
ProTip! You can narrow down the results and go further in time using created:<2024-01-02 or the other filters available.