Skip to content

Actions: Consensys/sol-datalog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove local souffle CI #30: Pull request #31 synchronize by cd1m0
March 23, 2024 03:22 4m 46s rip_souffle
rip_souffle
March 23, 2024 03:22 4m 46s
Remove local souffle CI #29: Pull request #31 opened by cd1m0
March 23, 2024 02:58 4m 49s rip_souffle
rip_souffle
March 23, 2024 02:58 4m 49s
Bump follow-redirects from 1.15.5 to 1.15.6 CI #28: Pull request #30 opened by dependabot bot
March 16, 2024 23:59 4m 25s dependabot/npm_and_yarn/follow-redirects-1.15.6
dependabot/npm_and_yarn/follow-redirects-1.15.6
March 16, 2024 23:59 4m 25s
Merge pull request #29 from Consensys/succ CI #27: Commit f263a41 pushed by cd1m0
March 9, 2024 01:10 6m 52s main
main
March 9, 2024 01:10 6m 52s
Succ relation and Souffle AST and parser CI #26: Pull request #29 synchronize by cd1m0
March 9, 2024 00:56 6m 29s succ
succ
March 9, 2024 00:56 6m 29s
Succ relation and Souffle AST and parser CI #25: Pull request #29 opened by cd1m0
March 8, 2024 06:21 2m 41s succ
succ
March 8, 2024 06:21 2m 41s
More test samples for dominators CI #24: Pull request #12 synchronize by blitz-1306
February 29, 2024 04:51 5m 15s more-sol-samples
more-sol-samples
February 29, 2024 04:51 5m 15s
Merge pull request #27 from Consensys/update-deps CI #23: Commit 5fc366e pushed by cd1m0
February 28, 2024 04:25 3m 49s main
main
February 28, 2024 04:25 3m 49s
Maintenance CI #22: Pull request #27 synchronize by blitz-1306
February 22, 2024 06:34 4m 36s update-deps
update-deps
February 22, 2024 06:34 4m 36s
Maintenance CI #21: Pull request #27 opened by blitz-1306
February 22, 2024 06:19 3m 25s update-deps
update-deps
February 22, 2024 06:19 3m 25s
Bump ip from 2.0.0 to 2.0.1 CI #20: Pull request #26 opened by dependabot bot
February 21, 2024 02:41 3m 57s dependabot/npm_and_yarn/ip-2.0.1
dependabot/npm_and_yarn/ip-2.0.1
February 21, 2024 02:41 3m 57s
Merge pull request #25 from Consensys/support-solidity-0824 CI #19: Commit 24708fb pushed by cd1m0
February 8, 2024 08:19 2m 56s main
main
February 8, 2024 08:19 2m 56s
Support Solidity 0.8.24 CI #18: Pull request #25 synchronize by blitz-1306
February 8, 2024 06:41 4m 7s support-solidity-0824
support-solidity-0824
February 8, 2024 06:41 4m 7s
Support Solidity 0.8.24 CI #17: Pull request #25 opened by blitz-1306
February 8, 2024 05:50 3m 48s support-solidity-0824
support-solidity-0824
February 8, 2024 05:50 3m 48s
Merge pull request #24 from Consensys/maintenance CI #16: Commit c35b062 pushed by cd1m0
February 6, 2024 06:56 3m 32s main
main
February 6, 2024 06:56 3m 32s
Maintenance CI #15: Pull request #24 synchronize by blitz-1306
February 1, 2024 07:58 3m 54s maintenance
maintenance
February 1, 2024 07:58 3m 54s
Maintenance CI #14: Pull request #24 synchronize by blitz-1306
February 1, 2024 07:06 4m 53s maintenance
maintenance
February 1, 2024 07:06 4m 53s
Maintenance CI #13: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:59 4m 37s maintenance
maintenance
February 1, 2024 06:59 4m 37s
Maintenance CI #12: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:52 3m 49s maintenance
maintenance
February 1, 2024 06:52 3m 49s
Maintenance CI #11: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:49 44s maintenance
maintenance
February 1, 2024 06:49 44s
Maintenance CI #10: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:45 25s maintenance
maintenance
February 1, 2024 06:45 25s
Maintenance CI #9: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:41 14s maintenance
maintenance
February 1, 2024 06:41 14s
Maintenance CI #8: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:34 35s maintenance
maintenance
February 1, 2024 06:34 35s
Maintenance CI #7: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:28 37s maintenance
maintenance
February 1, 2024 06:28 37s
Maintenance CI #6: Pull request #24 synchronize by blitz-1306
February 1, 2024 06:22 41s maintenance
maintenance
February 1, 2024 06:22 41s