Skip to content

Actions: UQ-PAC/BASIL

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow run results
86 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Gtirb to ir
Run Examples #237: Pull request #161 synchronize by Megatomato
February 4, 2024 23:57 2m 48s walter-gtirb-to-ir
February 4, 2024 23:57 2m 48s
Ir iterator interproc
Run Examples #234: Pull request #160 synchronize by ailrst
February 1, 2024 07:50 2m 32s ir-iterator-interproc
February 1, 2024 07:50 2m 32s
Mill build system
Run Examples #233: Pull request #154 synchronize by ailrst
February 1, 2024 06:01 9m 11s mill
February 1, 2024 06:01 9m 11s
Mill build system
Run Examples #232: Pull request #154 synchronize by ailrst
February 1, 2024 05:54 9m 6s mill
February 1, 2024 05:54 9m 6s
Mill build system
Run Examples #231: Pull request #154 synchronize by ailrst
February 1, 2024 05:42 9m 9s mill
February 1, 2024 05:42 9m 9s
Mill build system
Run Examples #230: Pull request #154 synchronize by ailrst
February 1, 2024 05:29 8m 59s mill
February 1, 2024 05:29 8m 59s
Gtirb to ir
Run Examples #229: Pull request #161 synchronize by Megatomato
February 1, 2024 05:19 2m 34s walter-gtirb-to-ir
February 1, 2024 05:19 2m 34s
Mill build system
Run Examples #228: Pull request #154 synchronize by ailrst
February 1, 2024 05:17 2m 7s mill
February 1, 2024 05:17 2m 7s
Mill build system
System Tests #1: Pull request #154 synchronize by ailrst
February 1, 2024 05:17 9m 3s mill
February 1, 2024 05:17 9m 3s
Mill build system
Run Examples #227: Pull request #154 synchronize by ailrst
February 1, 2024 05:05 6m 53s mill
February 1, 2024 05:05 6m 53s
Mill build system
Run Examples #226: Pull request #154 synchronize by ailrst
February 1, 2024 04:45 2m 28s mill
February 1, 2024 04:45 2m 28s
Library procedure RG contradiction proof
Run Examples #225: Pull request #163 opened by ailrst
February 1, 2024 03:35 2m 30s procedure-rg-contra
February 1, 2024 03:35 2m 30s
Ir iterator interproc
Run Examples #224: Pull request #160 synchronize by ailrst
January 31, 2024 07:10 2m 28s ir-iterator-interproc
January 31, 2024 07:10 2m 28s
Ir iterator interproc
Run Examples #223: Pull request #160 synchronize by ailrst
January 31, 2024 06:21 2m 35s ir-iterator-interproc
January 31, 2024 06:21 2m 35s
Gtirb to ir
Run Examples #222: Pull request #161 opened by Megatomato
January 31, 2024 06:08 2m 37s walter-gtirb-to-ir
January 31, 2024 06:08 2m 37s
Ir iterator interproc
Run Examples #221: Pull request #160 synchronize by ailrst
January 31, 2024 05:57 2m 28s ir-iterator-interproc
January 31, 2024 05:57 2m 28s
Ir iterator interproc
Run Examples #220: Pull request #160 synchronize by ailrst
January 30, 2024 07:48 2m 23s ir-iterator-interproc
January 30, 2024 07:48 2m 23s
Mill build system
Run Examples #219: Pull request #154 synchronize by ailrst
January 30, 2024 07:14 2m 24s mill
January 30, 2024 07:14 2m 24s
Mill build system
Run Examples #218: Pull request #154 synchronize by ailrst
January 30, 2024 06:46 26s mill
January 30, 2024 06:46 26s
Mill build system
Run Examples #217: Pull request #154 synchronize by ailrst
January 30, 2024 05:37 1m 22s mill
January 30, 2024 05:37 1m 22s
Mill build system
Run Examples #216: Pull request #154 synchronize by ailrst
January 30, 2024 05:24 1m 15s mill
January 30, 2024 05:24 1m 15s
Mill build system
Run Examples #215: Pull request #154 synchronize by ailrst
January 30, 2024 05:20 2m 35s mill
January 30, 2024 05:20 2m 35s
Ir iterator interproc
Run Examples #214: Pull request #160 synchronize by ailrst
January 29, 2024 06:18 3m 2s ir-iterator-interproc
January 29, 2024 06:18 3m 2s