Skip to content

Actions: aman-goel/avr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid copying input directory for yosys for includes in verilog frontend Build AVR on Ubuntu 20.04 #11: Commit c4e29d8 pushed by aman-goel
February 24, 2024 22:26 11m 26s master
master
February 24, 2024 22:26 11m 26s
Use Y2 backend for all abstract queries Build AVR on Ubuntu 20.04 #10: Commit f5238a3 pushed by aman-goel
February 24, 2024 21:04 11m 8s master
master
February 24, 2024 21:04 11m 8s
Check for non-constant bv rotate btor2 frontend Build AVR on Ubuntu 20.04 #9: Commit 3fd6834 pushed by aman-goel
February 24, 2024 20:35 10m 56s master
master
February 24, 2024 20:35 10m 56s
Change CI to ubuntu 20.04 Build AVR on Ubuntu 20.04 #8: Commit fbbfaa1 pushed by aman-goel
February 24, 2024 20:33 11m 24s master
master
February 24, 2024 20:33 11m 24s
Add workflow status badge Build AVR on Ubuntu 20.04 #7: Commit 2b526eb pushed by aman-goel
February 24, 2024 16:43 6m 52s master
master
February 24, 2024 16:43 6m 52s
Use gcc instead of clang for Yosys install Build AVR on Ubuntu 20.04 #6: Commit 63b95c0 pushed by aman-goel
February 24, 2024 16:40 7m 48s master
master
February 24, 2024 16:40 7m 48s
Build AVR on Ubuntu 20.04 Build AVR on Ubuntu 20.04 #5: Manually run by aman-goel
February 24, 2024 16:24 7m 56s master
master
February 24, 2024 16:24 7m 56s
Build AVR on Ubuntu 20.04 Build AVR on Ubuntu 20.04 #4: Manually run by aman-goel
February 24, 2024 13:52 5m 48s master
master
February 24, 2024 13:52 5m 48s
Build AVR on Ubuntu 20.04 Build AVR on Ubuntu 20.04 #3: Manually run by aman-goel
February 23, 2024 02:56 5m 2s master
master
February 23, 2024 02:56 5m 2s