Skip to content

Actions: Halbaroth/alt-ergo

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modify the warning for the fpa prelude Linter #329: Commit d4847f0 pushed by Halbaroth
August 18, 2023 15:05 4m 25s disable-preludes
disable-preludes
August 18, 2023 15:05 4m 25s
Modify the warning for the fpa prelude Build #158: Commit d4847f0 pushed by Halbaroth
August 18, 2023 15:05 33m 29s disable-preludes
disable-preludes
August 18, 2023 15:05 33m 29s
Modify the warning for the fpa prelude Documentation #329: Commit d4847f0 pushed by Halbaroth
August 18, 2023 15:05 5m 41s disable-preludes
disable-preludes
August 18, 2023 15:05 5m 41s
change docv Build #157: Commit f51f08e pushed by Halbaroth
August 18, 2023 14:36 22m 48s simplify-output-channels
simplify-output-channels
August 18, 2023 14:36 22m 48s
change docv Build Javascript #328: Commit f51f08e pushed by Halbaroth
August 18, 2023 14:36 10m 22s simplify-output-channels
simplify-output-channels
August 18, 2023 14:36 10m 22s
change docv Linter #328: Commit f51f08e pushed by Halbaroth
August 18, 2023 14:36 3m 14s simplify-output-channels
simplify-output-channels
August 18, 2023 14:36 3m 14s
change docv Documentation #328: Commit f51f08e pushed by Halbaroth
August 18, 2023 14:36 6m 52s simplify-output-channels
simplify-output-channels
August 18, 2023 14:36 6m 52s
remove wrn, dbg and usc outputs Build Javascript #327: Commit 3107e66 pushed by Halbaroth
August 18, 2023 14:30 10m 6s simplify-output-channels
simplify-output-channels
August 18, 2023 14:30 10m 6s
remove wrn, dbg and usc outputs Documentation #327: Commit 3107e66 pushed by Halbaroth
August 18, 2023 14:30 7m 18s simplify-output-channels
simplify-output-channels
August 18, 2023 14:30 7m 18s
remove wrn, dbg and usc outputs Build #156: Commit 3107e66 pushed by Halbaroth
August 18, 2023 14:30 22m 55s simplify-output-channels
simplify-output-channels
August 18, 2023 14:30 22m 55s
remove wrn, dbg and usc outputs Linter #327: Commit 3107e66 pushed by Halbaroth
August 18, 2023 14:30 4m 0s simplify-output-channels
simplify-output-channels
August 18, 2023 14:30 4m 0s
Rename output cli Build #155: Commit a0057a1 pushed by Halbaroth
August 18, 2023 13:49 23m 30s rename-output-cli
rename-output-cli
August 18, 2023 13:49 23m 30s
Rename output cli Documentation #326: Commit a0057a1 pushed by Halbaroth
August 18, 2023 13:49 5m 57s rename-output-cli
rename-output-cli
August 18, 2023 13:49 5m 57s
Rename output cli Linter #326: Commit a0057a1 pushed by Halbaroth
August 18, 2023 13:49 4m 23s rename-output-cli
rename-output-cli
August 18, 2023 13:49 4m 23s
Rename output cli Build Javascript #326: Commit a0057a1 pushed by Halbaroth
August 18, 2023 13:49 8m 55s rename-output-cli
rename-output-cli
August 18, 2023 13:49 8m 55s
Review changes Build #154: Commit e72d809 pushed by Halbaroth
August 17, 2023 09:55 20m 8s disable-preludes
disable-preludes
August 17, 2023 09:55 20m 8s
Review changes Documentation #325: Commit e72d809 pushed by Halbaroth
August 17, 2023 09:55 6m 47s disable-preludes
disable-preludes
August 17, 2023 09:55 6m 47s
Review changes Linter #325: Commit e72d809 pushed by Halbaroth
August 17, 2023 09:55 4m 10s disable-preludes
disable-preludes
August 17, 2023 09:55 4m 10s
Review changes Build Javascript #325: Commit e72d809 pushed by Halbaroth
August 17, 2023 09:55 8m 39s disable-preludes
disable-preludes
August 17, 2023 09:55 8m 39s
artefact Build Javascript #324: Commit ba74419 pushed by Halbaroth
August 16, 2023 14:52 11m 42s disable-preludes
disable-preludes
August 16, 2023 14:52 11m 42s
artefact Linter #324: Commit ba74419 pushed by Halbaroth
August 16, 2023 14:52 4m 18s disable-preludes
disable-preludes
August 16, 2023 14:52 4m 18s
artefact Documentation #324: Commit ba74419 pushed by Halbaroth
August 16, 2023 14:52 5m 50s disable-preludes
disable-preludes
August 16, 2023 14:52 5m 50s
artefact Build #153: Commit ba74419 pushed by Halbaroth
August 16, 2023 14:52 40m 1s disable-preludes
disable-preludes
August 16, 2023 14:52 40m 1s
Use --enable-theories fpa to enable the fpa prelude Build #152: Commit 8aef80e pushed by Halbaroth
August 16, 2023 14:43 27m 7s disable-preludes
disable-preludes
August 16, 2023 14:43 27m 7s
Use --enable-theories fpa to enable the fpa prelude Build Javascript #323: Commit 8aef80e pushed by Halbaroth
August 16, 2023 14:43 8m 38s disable-preludes
disable-preludes
August 16, 2023 14:43 8m 38s