Skip to content

Actions: aman-goel/avr

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

Minor correction
Build AVR on Ubuntu 20.04 #37: Commit 38a20b0 pushed by aman-goel
November 5, 2024 17:09 11s master
November 5, 2024 17:09 11s
HWMCC'24: Fixes and upgrades
Build AVR on Ubuntu 20.04 #36: Pull request #20 opened by aman-goel
November 5, 2024 17:09 12s hwmcc24
November 5, 2024 17:09 12s
Minor correction
Build AVR on Ubuntu 20.04 #35: Commit 60b22cc pushed by aman-goel
October 11, 2024 22:13 13s hwmcc24
October 11, 2024 22:13 13s
Minor correction
Build AVR on Ubuntu 20.04 #34: Commit 60b22cc pushed by aman-goel
September 10, 2024 23:11 12s dev/aman
September 10, 2024 23:11 12s
Minor updates
Build AVR on Ubuntu 20.04 #33: Commit 170030a pushed by aman-goel
September 10, 2024 19:38 15s dev/aman
September 10, 2024 19:38 15s
Correct int overflow in uf partial interpretation
Build AVR on Ubuntu 20.04 #32: Commit d687a1b pushed by aman-goel
September 10, 2024 19:12 17s dev/aman
September 10, 2024 19:12 17s
Correct long int overflow in decimal const parsing in btor2 frontend
Build AVR on Ubuntu 20.04 #31: Commit 43ab77e pushed by aman-goel
September 9, 2024 08:12 15s dev/aman
September 9, 2024 08:12 15s
Stash changes
Build AVR on Ubuntu 20.04 #30: Commit c586805 pushed by aman-goel
September 1, 2024 04:09 12s dev/aman
September 1, 2024 04:09 12s
Minor
Build AVR on Ubuntu 20.04 #29: Commit 2c867dc pushed by aman-goel
August 31, 2024 09:32 14s dev/aman
August 31, 2024 09:32 14s
Exp changes
Build AVR on Ubuntu 20.04 #28: Commit 4225df4 pushed by aman-goel
August 31, 2024 09:24 14s dev/aman
August 31, 2024 09:24 14s
Static compile
Build AVR on Ubuntu 20.04 #27: Commit bd241b6 pushed by aman-goel
August 30, 2024 20:53 11s dev/aman
August 30, 2024 20:53 11s
Refactor
Build AVR on Ubuntu 20.04 #26: Commit a8fe19a pushed by aman-goel
August 30, 2024 19:31 12s dev/aman
August 30, 2024 19:31 12s
Minor
Build AVR on Ubuntu 20.04 #25: Commit 6513928 pushed by aman-goel
August 30, 2024 19:29 11s dev/aman
August 30, 2024 19:29 11s
Minor
Build AVR on Ubuntu 20.04 #24: Commit 8caf71a pushed by aman-goel
August 30, 2024 01:24 15s dev/aman
August 30, 2024 01:24 15s
Correct negative decimal in btor
Build AVR on Ubuntu 20.04 #23: Commit 19b2395 pushed by aman-goel
August 30, 2024 01:18 12s dev/aman
August 30, 2024 01:18 12s
Minor fixes
Build AVR on Ubuntu 20.04 #22: Commit bea68a0 pushed by aman-goel
August 29, 2024 02:09 15s dev/aman
August 29, 2024 02:09 15s
Minor correction
Build AVR on Ubuntu 20.04 #21: Commit 8364cc2 pushed by aman-goel
August 26, 2024 23:45 11s dev/aman
August 26, 2024 23:45 11s
Stash temp changes
Build AVR on Ubuntu 20.04 #20: Commit 48518dc pushed by aman-goel
August 26, 2024 23:03 12s dev/aman
August 26, 2024 23:03 12s
Fix compiling multiple backend
Build AVR on Ubuntu 20.04 #19: Commit fac9c3b pushed by aman-goel
August 25, 2024 20:21 15s dev/aman
August 25, 2024 20:21 15s
Temp changes
Build AVR on Ubuntu 20.04 #18: Commit 93651cf pushed by aman-goel
August 25, 2024 19:28 14s dev/aman
August 25, 2024 19:28 14s
Stashing temp changes
Build AVR on Ubuntu 20.04 #17: Commit e891d9b pushed by aman-goel
August 25, 2024 18:37 10s dev/aman
August 25, 2024 18:37 10s
resolved the need to run build.sh by hand
Build AVR on Ubuntu 20.04 #16: Commit 833b13a pushed by aman-goel
August 25, 2024 18:23 11m 31s dev/aman
August 25, 2024 18:23 11m 31s
resolved the need to run build.sh by hand
Build AVR on Ubuntu 20.04 #15: Commit 833b13a pushed by aman-goel
June 18, 2024 16:14 11m 27s master
June 18, 2024 16:14 11m 27s
Change DockerFile to ubuntu 20.04; correct OS check issue; run build automatically
Build AVR on Ubuntu 20.04 #14: Pull request #19 synchronize by xdddduo
June 16, 2024 19:37 11m 38s xdddduo:master
June 16, 2024 19:37 11m 38s
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