Skip to content

Actions: Matafou/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #757 indentation of "\in" CI #57: Commit a36eb9b pushed by Matafou
September 11, 2024 08:08 35m 12s fix-indent-backslashid
fix-indent-backslashid
September 11, 2024 08:08 35m 12s
Fix #757 indentation of "\in" CI #56: Commit 8e276e6 pushed by Matafou
September 11, 2024 08:04 20m 1s fix-indent-backslashid
fix-indent-backslashid
September 11, 2024 08:04 20m 1s
Fix #757 indentation of "\in" CI #55: Commit e0c60b7 pushed by Matafou
September 10, 2024 08:27 19m 10s fix-indent-backslashid
fix-indent-backslashid
September 10, 2024 08:27 19m 10s
Fixing the debug mode (for recent coq verions). CI #54: Commit 084d783 pushed by Matafou
September 9, 2024 16:08 22m 4s fix-debug-mode
fix-debug-mode
September 9, 2024 16:08 22m 4s
Stripping hardwired command strings from trailing spaces. CI #53: Commit 037baea pushed by Matafou
September 5, 2024 09:57 16m 57s fix-no-strip-newlines
fix-no-strip-newlines
September 5, 2024 09:57 16m 57s
Fix #781 PG does not position to error. CI #52: Commit 16b70c9 pushed by Matafou
September 5, 2024 08:28 16m 50s fix-no-strip-newlines
fix-no-strip-newlines
September 5, 2024 08:28 16m 50s
Fix #781 PG does not position to error. CI #51: Commit 61f8ab6 pushed by Matafou
September 5, 2024 06:11 16m 37s fix-no-strip-newlines
fix-no-strip-newlines
September 5, 2024 06:11 16m 37s
Fix #781 PG does not position to error. CI #50: Commit 0c6589b pushed by Matafou
September 4, 2024 20:14 17m 9s fix-no-strip-newlines
fix-no-strip-newlines
September 4, 2024 20:14 17m 9s
Fix #781 PG does not position to error. CI #49: Commit 6b4fbdc pushed by Matafou
September 4, 2024 09:13 16m 53s fix-no-strip-newlines
fix-no-strip-newlines
September 4, 2024 09:13 16m 53s
Fix #781 PG does not position to error. CI #48: Commit 48b0afc pushed by Matafou
September 2, 2024 17:20 16m 38s fix-no-strip-newlines
fix-no-strip-newlines
September 2, 2024 17:20 16m 38s
Adding a bigger timeout to errro overlays. CI #47: Commit 6f4a3a0 pushed by Matafou
September 2, 2024 16:21 16m 49s fix-no-strip-newlines
fix-no-strip-newlines
September 2, 2024 16:21 16m 49s
Fix #781 PG does not position to error. CI #46: Commit a86edc9 pushed by Matafou
July 10, 2024 21:52 16m 22s fix-no-strip-newlines
fix-no-strip-newlines
July 10, 2024 21:52 16m 22s
Adding a test for error highlighting. CI #45: Commit 51fe3b0 pushed by Matafou
July 10, 2024 21:24 17m 2s fix-no-strip-newlines
fix-no-strip-newlines
July 10, 2024 21:24 17m 2s
Fix #781 PG does not position to error. CI #44: Commit 52b7c9b pushed by Matafou
July 9, 2024 14:25 16m 38s fix-no-strip-newlines
fix-no-strip-newlines
July 9, 2024 14:25 16m 38s
Fix #779 regression-cannot-step-Fail-correctly. CI #43: Commit 7c8418f pushed by Matafou
July 8, 2024 15:06 16m 37s fix-779-regression-cannot-step-Fail-correctly
fix-779-regression-cannot-step-Fail-correctly
July 8, 2024 15:06 16m 37s
Fixes 779 regression-cannot-step-Fail-correctly. CI #42: Commit c3f2355 pushed by Matafou
July 8, 2024 14:38 16m 32s fix-779-regression-cannot-step-Fail-correctly
fix-779-regression-cannot-step-Fail-correctly
July 8, 2024 14:38 16m 32s
Merge pull request #777 from hendriktews/ci-update CI #41: Commit 837f587 pushed by Matafou
July 8, 2024 13:34 16m 59s fix-779-regression-cannot-step-Fail-correctly
fix-779-regression-cannot-step-Fail-correctly
July 8, 2024 13:34 16m 59s
Reduce splash time to 1s. CI #40: Commit ea0f007 pushed by Matafou
May 5, 2024 16:16 16m 48s splash-time
splash-time
May 5, 2024 16:16 16m 48s