Skip to content

Actions: FlashSheridan/alive2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comment out noisy WARNING: Non-zero address space Build #44: Commit 841bf7a pushed by FlashSheridan
April 29, 2024 18:09 8m 5s FlashSheridan-CPR-1655-not-64
FlashSheridan-CPR-1655-not-64
April 29, 2024 18:09 8m 5s
Comment out noisy WARNING: Non-zero address space Code Scanning - Action #44: Commit 841bf7a pushed by FlashSheridan
April 29, 2024 18:09 4m 6s FlashSheridan-CPR-1655-not-64
FlashSheridan-CPR-1655-not-64
April 29, 2024 18:09 4m 6s
Correct comment for bits_program_pointer Code Scanning - Action #43: Commit 059c0c4 pushed by FlashSheridan
April 26, 2024 15:17 4m 9s FlashSheridan-CPR-1655-not-64
FlashSheridan-CPR-1655-not-64
April 26, 2024 15:17 4m 9s
Correct comment for bits_program_pointer Build #43: Commit 059c0c4 pushed by FlashSheridan
April 26, 2024 15:17 7m 57s FlashSheridan-CPR-1655-not-64
FlashSheridan-CPR-1655-not-64
April 26, 2024 15:17 7m 57s
Try max_bits_program_pointer, hoping to allow > 64 Code Scanning - Action #42: Commit 048762d pushed by FlashSheridan
April 11, 2024 23:13 3m 50s FlashSheridan-CPR-1655-not-64
FlashSheridan-CPR-1655-not-64
April 11, 2024 23:13 3m 50s
Try max_bits_program_pointer, hoping to allow > 64 Build #42: Commit 048762d pushed by FlashSheridan
April 11, 2024 23:13 7m 47s FlashSheridan-CPR-1655-not-64
FlashSheridan-CPR-1655-not-64
April 11, 2024 23:13 7m 47s
Replace two naked 64s in assertions with IR::bits_ptr_address Code Scanning - Action #41: Commit 93ea6ee pushed by FlashSheridan
April 11, 2024 20:52 3m 34s FlashSheridan-for-1706
FlashSheridan-for-1706
April 11, 2024 20:52 3m 34s
Replace two naked 64s in assertions with IR::bits_ptr_address Build #41: Commit 93ea6ee pushed by FlashSheridan
April 11, 2024 20:52 53s FlashSheridan-for-1706
FlashSheridan-for-1706
April 11, 2024 20:52 53s
Comment out debugging output. Build #40: Commit 1ca76f4 pushed by FlashSheridan
March 28, 2024 22:47 46s FlashSheridan-for-1706
FlashSheridan-for-1706
March 28, 2024 22:47 46s
Comment out debugging output. Code Scanning - Action #40: Commit 1ca76f4 pushed by FlashSheridan
March 28, 2024 22:47 3m 38s FlashSheridan-for-1706
FlashSheridan-for-1706
March 28, 2024 22:47 3m 38s
Move TV_EXIT_ON_ERROR into Build #39: Commit f6a996f pushed by FlashSheridan
March 26, 2024 23:01 48s FlashSheridan-for-1706
FlashSheridan-for-1706
March 26, 2024 23:01 48s
Move TV_EXIT_ON_ERROR into Code Scanning - Action #39: Commit f6a996f pushed by FlashSheridan
March 26, 2024 23:01 4m 2s FlashSheridan-for-1706
FlashSheridan-for-1706
March 26, 2024 23:01 4m 2s
Update README.md Code Scanning - Action #38: Commit a01af57 pushed by nunoplopes
March 18, 2024 09:06 4m 32s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
March 18, 2024 09:06 4m 32s
Update README.md Build #38: Commit a01af57 pushed by nunoplopes
March 18, 2024 09:06 44m 44s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
March 18, 2024 09:06 44m 44s
Mention -allow-incomplete-ir Build #37: Commit 58e1c93 pushed by FlashSheridan
March 12, 2024 16:20 45m 5s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
March 12, 2024 16:20 45m 5s
Mention -allow-incomplete-ir Code Scanning - Action #37: Commit 58e1c93 pushed by FlashSheridan
March 12, 2024 16:20 3m 29s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
March 12, 2024 16:20 3m 29s
Harmonize quotation styles. Build #36: Commit 50cbb63 pushed by FlashSheridan
February 13, 2024 17:04 7m 34s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 13, 2024 17:04 7m 34s
Harmonize quotation styles. Code Scanning - Action #36: Commit 50cbb63 pushed by FlashSheridan
February 13, 2024 17:04 3m 51s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 13, 2024 17:04 3m 51s
Fix significant trailing whitespace. Build #35: Commit dccffb7 pushed by FlashSheridan
February 13, 2024 16:46 7m 38s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 13, 2024 16:46 7m 38s
Fix significant trailing whitespace. Code Scanning - Action #35: Commit dccffb7 pushed by FlashSheridan
February 13, 2024 16:46 3m 37s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 13, 2024 16:46 3m 37s
Hard wrap and rephrase. Code Scanning - Action #34: Commit babaf9b pushed by FlashSheridan
February 13, 2024 16:36 3m 40s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 13, 2024 16:36 3m 40s
Hard wrap and rephrase. Build #34: Commit babaf9b pushed by FlashSheridan
February 13, 2024 16:36 7m 51s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 13, 2024 16:36 7m 51s
Warn about “Command line:” lines on Linux Build #33: Commit f43c3a7 pushed by FlashSheridan
February 12, 2024 23:15 7m 52s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 12, 2024 23:15 7m 52s
Warn about “Command line:” lines on Linux Code Scanning - Action #33: Commit f43c3a7 pushed by FlashSheridan
February 12, 2024 23:15 3m 31s FlashSheridan-CPR-1489-jdupes
FlashSheridan-CPR-1489-jdupes
February 12, 2024 23:15 3m 31s
Revert "Output report file name to cerr, for correlation later." Code Scanning - Action #32: Commit c93de3d pushed by FlashSheridan
February 7, 2024 18:18 3m 47s FlashSheridan-CPR-1489b-log
FlashSheridan-CPR-1489b-log
February 7, 2024 18:18 3m 47s