Skip to content

Actions: aman-goel/avr

All workflows

Actions

Loading...

Showing runs from all workflows
10 workflow runs
10 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Minor correction
Build AVR on Ubuntu 20.04 #12: Commit f145cbc pushed by aman-goel
February 25, 2024 00:44 11m 23s master
February 25, 2024 00:44 11m 23s
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
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
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
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
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
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
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
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
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
February 23, 2024 02:56 5m 2s