Skip to content

Actions: arnodb/quirky_binder

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Can define chain variables Continuous Integration #21: Commit d86e539 pushed by arnodb
October 2, 2023 17:16 4m 38s main
main
October 2, 2023 17:16 4m 38s
Can define chain variables Continuous Integration #20: Commit 20975b3 pushed by arnodb
October 2, 2023 16:04 4m 15s main
main
October 2, 2023 16:04 4m 15s
Use workspace resolver = "2" Continuous Integration #19: Commit 7f303dd pushed by arnodb
October 1, 2023 21:05 5m 31s main
main
October 1, 2023 21:05 5m 31s
Join filter Continuous Integration #18: Commit cf03d4d pushed by arnodb
October 1, 2023 20:58 5m 25s main
main
October 1, 2023 20:58 5m 25s
Comparison function with different field names and explicit record types Continuous Integration #17: Commit 795dc8e pushed by arnodb
October 1, 2023 20:52 4m 45s main
main
October 1, 2023 20:52 4m 45s
New filter to unwrap options Continuous Integration #16: Commit 18abfed pushed by arnodb
October 1, 2023 20:50 4m 36s main
main
October 1, 2023 20:50 4m 36s
New filter to unwrap options Continuous Integration #15: Commit 15ff777 pushed by arnodb
October 1, 2023 20:42 4m 38s main
main
October 1, 2023 20:42 4m 38s
Unnecessarily optional result Continuous Integration #14: Commit f5d7964 pushed by arnodb
October 1, 2023 20:35 5m 53s main
main
October 1, 2023 20:35 5m 53s
Fix name clashes and missing clone Continuous Integration #13: Commit b08cf6c pushed by arnodb
October 1, 2023 02:08 4m 47s main
main
October 1, 2023 02:08 4m 47s
Generate graph nodes in the right order of dependency Continuous Integration #12: Commit 6836106 pushed by arnodb
September 30, 2023 17:22 4m 37s main
main
September 30, 2023 17:22 4m 37s
Tree example (skeleton) Continuous Integration #11: Commit 45089f2 pushed by arnodb
September 30, 2023 10:07 4m 44s main
main
September 30, 2023 10:07 4m 44s
Fix for MSRV Continuous Integration #10: Commit 812dcf2 pushed by arnodb
September 29, 2023 15:31 4m 31s main
main
September 29, 2023 15:31 4m 31s
Replace custom stdin sources by a generic rust source Continuous Integration #9: Commit 6a7ca38 pushed by arnodb
September 29, 2023 14:59 5m 0s main
main
September 29, 2023 14:59 5m 0s
Clippy Continuous Integration #8: Commit 091b36e pushed by arnodb
September 28, 2023 15:16 5m 12s main
main
September 28, 2023 15:16 5m 12s
Update to latest truc Continuous Integration #7: Commit 1f0b778 pushed by arnodb
September 28, 2023 14:20 4m 14s main
main
September 28, 2023 14:20 4m 14s
Update CI Continuous Integration #6: Commit 5a28eca pushed by arnodb
September 28, 2023 14:10 4m 13s main
main
September 28, 2023 14:10 4m 13s
Check format only on stable Continuous Integration #5: Commit 9e0741b pushed by arnodb
September 26, 2023 19:22 5m 1s main
main
September 26, 2023 19:22 5m 1s
Update CI badge Continuous Integration #4: Commit a458448 pushed by arnodb
September 26, 2023 19:20 4m 10s main
main
September 26, 2023 19:20 4m 10s